kindaro

kindaro's Stars

• neilmayhew/cabal-targets

  List the targets in a Cabal project

  Language:Haskell2

• lamdu/lamdu

  lamdu - towards the next generation IDE

  Language:Haskell1.8k65

• jameshaydon/lawvere

  A categorical programming language with effects

  Language:Haskell2636

• haskell-suite/haskell-src-exts

  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

  Language:Haskell19394

• diracdeltafunk/SmallCategories

  A database of small finite categories

  Language:Python13

• kdeldycke/awesome-falsehood

  😱 Falsehoods Programmers Believe in

  23.2k539

• pk910/PoWFaucet

  Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)

  Language:TypeScript3.7k1.3k

• HamzaM3/yes-browser

  Language:Haskell201

• dead10ck/uwc

  Like wc, but unicode-aware, and with per-line mode.

  Language:Rust39

• effectfully-ou/sketches

  A Haskell blog

  Language:Haskell1234

• piepdx/pie-cookbook

  PIE is an experiment. We've been everything from a coworking space to a community hub to an early stage startup accelerator. Now, we're open sourcing everything we've learned from nearly a decade of helping startups.

  Language:Ruby16248

• karanpratapsingh/system-design

  Learn how to design systems at scale and prepare for system design interviews

  29.7k3k

• PreTeXtBook/pretext

  PreTeXt: an authoring and publishing system for scholarly documents

  Language:XSLT254205

• simplex-chat/simplex-chat

  SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

  Language:Haskell5.4k264

• fjvallarino/monomer

  An easy to use, cross platform, GUI library for writing Haskell applications.

  Language:Haskell56542

• sile-typesetter/sile

  The SILE Typesetter — Simon’s Improved Layout Engine

  Language:Lua1.6k97

• hannobraun/fornjot

  Early-stage b-rep CAD kernel, written in the Rust programming language.

  Language:Rust1.9k112

• aaronallen8455/inventory

  Haskell project statistics and definition analysis

  Language:Haskell13

• CategoricalData/CQL

  Categorical Query Language IDE

  Language:Java29221

• typedbyte/program

  A library for writing programs with environments and managed resources, written in Haskell.

  Language:Haskell3

• jldodds/coq-lean-cheatsheet

  A quick reference for mapping Coq tactics to Lean tactics

  Language:Lean673

• soupi/gotta-go-fast

  Abandoned: https://github.com/haskellfoundation/tech-proposals/pull/9

  9

• karlvr/openapi-generator-plus-generators

  Language:Handlebars208

• karlvr/openapi-generator-plus

  A code generator for OpenAPI written in node and designed to have pluggable generators

  Language:TypeScript503

• agentm/project-m36

  Project: M36 Relational Algebra Engine

  Language:Haskell87647

• PSigfridsson/Learning-By-Crawling

  Riot Games API crawler and a machine learning project. Created in Haskell.

  Language:Haskell52

• tomjaguarpaw/tilapia

  Improving all Haskell's programmer interfaces

  632

• elaforge/fix-imports

  Automatically add and delete imports in a Haskell module.

  Language:Haskell131

• whonore/Coqtail

  Interactive Coq Proofs in Vim

  Language:Python25533

• radareorg/radare2

  UNIX-like reverse engineering framework and command-line toolset

  Language:C19.8k2.9k