Similar repositories to benediktahrens/monads:

• benediktahrens/monads github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• braibant/invert github similar
• jessica-taylor/mcmc-synthesis github similar
• TerrorJack/monad-par-async github similar
• dramforever/writings github similar
• jonsterling/sml-pronominal-ml github similar
• postalhq/postal github similar
• micahflee/onionshare github similar
• tuvtran/project-based-learning github similar
• domchristie/turndown github similar
• flutter/flutter_web github similar
• bridgedotnet/Bridge github similar
• txthinking/mr2 github similar
• shaunlebron/parinfer github similar
• emilypi/lets-lens github similar
• mbrcknl/ylj15-coq-pattern-match github similar
• tomprince/abstract_hint github similar
• Ptival/chick github similar
• rnrand/VPHL github similar
• MislankaNova/fourthrail github similar
• CoderPuppy/idris-depling github similar
• Zimmi48/transfer github similar
• pnwamk/stop2015 github similar
• JHU-PL-Lab/whayrf github similar
• laughedelic/M-Cohomology github similar
• tomprince/rippling github similar
• jonsterling/agda-bar-induction github similar
• NathanReb/future-of-ppx-talk github similar
• RobertHarper/hott-notes github similar
• sicusa/HaRay github similar
• tabareau/Cocasse github similar
• TerrorJack/yuuenchi github similar
• mmcco/Verified-BPF github similar
• prathamesh-t/Tangle-Isabelle github similar
• dramforever/frandre github similar
• cohomolo-gy/cats-in-context github similar
• Eelis/qs-avg github similar
• ryanorendorff/lc-2017-fusion github similar