kindaro

kindaro's Stars

• karanpratapsingh/system-design

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

  33k308213.6k

• kdeldycke/awesome-falsehood

  😱 Falsehoods Programmers Believe in

  24.2k36930565

• radareorg/radare2

  UNIX-like reverse engineering framework and command-line toolset

  Language:C20.7k4898.5k3k

• 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:Haskell7.3k781.3k331

• pk910/PoWFaucet

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

  Language:TypeScript4.1k471071.6k

• hannobraun/fornjot

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

  Language:Rust2k30340118

• lamdu/lamdu

  lamdu - towards the next generation IDE

  Language:Haskell1.9k5315071

• sile-typesetter/sile

  The SILE Typesetter — Simon’s Improved Layout Engine

  Language:Lua1.7k491.1k99

• agentm/project-m36

  Project: M36 Relational Algebra Engine

  Language:Haskell9003328248

• fjvallarino/monomer

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

  Language:Haskell5961916244

• CategoricalData/CQL

  Categorical Query Language IDE

  Language:Java299317023

• whonore/Coqtail

  Interactive Coq Proofs in Vim

  Language:Python274717334

• PreTeXtBook/pretext

  PreTeXt: an authoring and publishing system for scholarly documents

  Language:XSLT268221.4k210

• jameshaydon/lawvere

  A categorical programming language with effects

  Language:Haskell2671375

• haskell-suite/haskell-src-exts

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

  Language:Haskell1931532295

• 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:Ruby163526748

• effectfully-ou/sketches

  A Haskell blog

  Language:Haskell1261224

• jldodds/coq-lean-cheatsheet

  A quick reference for mapping Coq tactics to Lean tactics

  Language:Lean69744

• tomjaguarpaw/tilapia

  Improving all Haskell's programmer interfaces

  65121242

• karlvr/openapi-generator-plus

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

  Language:TypeScript548404

• dead10ck/uwc

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

  Language:Rust39420

• karlvr/openapi-generator-plus-generators

  Language:Handlebars214338

• HamzaM3/yes-browser

  Language:Haskell203221

• aaronallen8455/inventory

  Haskell project statistics and definition analysis

  Language:Haskell15230

• elaforge/fix-imports

  Automatically add and delete imports in a Haskell module.

  Language:Haskell15431

• diracdeltafunk/SmallCategories

  A database of small finite categories

  Language:Python14210

• soupi/gotta-go-fast

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

  920

• PSigfridsson/Learning-By-Crawling

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

  Language:Haskell5102

• typedbyte/program

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

  Language:Haskell3210

• neilmayhew/cabal-targets

  List the targets in a Cabal project

  Language:Haskell2100