Similar repositories to clayrat/think-bayes-idris:

• clayrat/think-bayes-idris github similar
• vishesh/racketscript github similar
• eraserhd/Idris-json github similar
• kowainik/idris-patricia github similar
• QuentinDuval/IdrisReducers github similar
• fieldstrength/probability github similar
• sbp/idris-bi github similar
• TheoWinterhalter/formal-type-theory github similar
• mapio/programming-with-escher github similar
• idris-hackers/idris-vim github similar
• idris-hackers/software-foundations github similar
• bokuweb/rustynes github similar
• jwbuurlage/category-theory-programmers github similar
• edwinb/Blodwen github similar
• numcl/numcl github similar
• jnurmine/Zenburn github similar
• edwinb/Idris2-boot github similar
• lloydmeta/frunk github similar
• tibbe/haskell-style-guide github similar
• nayafia/microgrants github similar
• murarth/rusti github similar
• valderman/haste-compiler github similar
• frankmcsherry/blog github similar
• lalrpop/lalrpop github similar
• idris-lang/Idris-dev github similar
• gluon-lang/gluon github similar
• servo/pathfinder github similar
• EbTech/rust-algorithms github similar
• pest-parser/pest github similar
• koute/stdweb github similar
• facebook/Haxl github similar
• rust-lang/futures-rs github similar
• carp-lang/Carp github similar
• rust-lang/rustup github similar
• rustwasm/wasm-bindgen github similar
• bitemyapp/learnhaskell github similar
• Kristories/awesome-guidelines github similar
• swaywm/sway github similar
• mame/quine-relay github similar
• xi-editor/xi-editor github similar