Similar repositories to dpiponi/Monad-Python:
dpiponi/Monad-Python
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
shaunlebron/parinfer
github
similar
micahflee/onionshare
github
similar
tootsuite/mastodon
github
similar
dpiponi/formal-weyl
github
similar
Eloston/ungoogled-chromium
github
similar
tuvtran/project-based-learning
github
similar
pixijs/pixi.js
github
similar
webyrd/scheme-fun-hacking
github
similar
ekmett/concurrent
github
similar
dpiponi/provability
github
similar
vishesh/racketscript
github
similar
kseo/poly
github
similar
dpiponi/Moodler
github
similar
aspiwack/peppermint-prover
github
similar
numba/Meta
github
similar
RobertHarper/hott-notes
github
similar
geisha-lang/Geisha
github
similar
coq-community/semantics
github
similar
FranklinChen/clojure-transducers-in-haskell
github
similar
twitter/ambrose
github
similar
aquynh/capstone
github
similar
jwiegley/simple-ltl
github
similar
theislab/anndata
github
similar
lab-ml/annotated_deep_learning_paper_implementations
github
similar
hecrj/iced
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
motemen/gore
github
similar
trufflesuite/ganache-cli
github
similar
blockstack/stacks
github
similar
inanna-malick/hgit
github
similar
bennn/mechanics
github
similar
sdiehl/tipy
github
similar
sdilts/Salmon
github
similar
langston-barrett/coq-big-o
github
similar
albertz/CPython
github
similar
mortberg/yacctt
github
similar
accandme/openplum
github
similar