Similar repositories to jfaure/Irie-lang:

• jfaure/Irie-lang github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• meilisearch/MeiliSearch github similar
• julianhyde/morel github similar
• jonsterling/dreamtt github similar
• LightAndLight/cbpv github similar
• lezer-parser/lezer github similar
• evertedsphere/shorshe github similar
• effectfully/Cubes github similar
• AndrasKovacs/setoidtt github similar
• mmcqd/datatt github similar
• ziman/itt-idris github similar
• metaborg/linear.agda github similar
• AndrasKovacs/staged-fusion github similar
• ayberkt/simplc github similar
• LightAndLight/qtt github similar
• border-patrol/lightclick github similar
• k6io/k6 github similar
• JoshuaWise/better-sqlite3 github similar
• tuvtran/project-based-learning github similar
• juxt/crux github similar
• bansal-io/pattern.css github similar
• sweirich/lennart-lambda github similar
• facet-lang/facet github similar
• neel-krishnaswami/linearml github similar
• RichardMoot/LinearOne github similar
• fwcd/curry-language-server github similar
• mb64/poly github similar
• mmcqd/higher-standard github similar
• storm-framework/storm github similar
• coq-community/bits github similar
• willtim/row-polymorphism github similar
• owo-lang/narc-rs github similar
• maximedenes/coq-amd64 github similar
• tsung-ju/SystemF github similar
• ak3n/modules-papers github similar
• GaloisInc/mir-verifier github similar