Similar repositories to rbarreiro/ifui:

• rbarreiro/ifui github similar
• danistefanovic/build-your-own-x github similar
• yforster/coq-synthetic-computability github similar
• typedefs/purescript-typedefs-interop github similar
• spicydonuts/react-basic-rock-paper-scissors github similar
• edwinb/Idris2-pkg-outline github similar
• Eugeny/terminus github similar
• hecrj/iced github similar
• juxt/crux github similar
• mmhelloworld/idris-jvm-auto-ffi-sample github similar
• yurrriq/iweb github similar
• zenntenn/Idris-Repl github similar
• ziman/idris-scheme github similar
• bgavran/Idris_Category_Theory github similar
• andorp/ArchaIdr github similar
• jfdm/tears-in-the-rain github similar
• colin-adams/idris-libmicrohttpd github similar
• wyn/incremental github similar
• mwpb/idrisCT github similar
• thalerjonathan/gl-idris-b github similar
• jumper149/idris2-scientific github similar
• jonsterling/guarded-theories github similar
• LightAndLight/idris-lambda-reflection github similar
• MaiaVictor/idris-mergesort-benchmark github similar
• thalerjonathan/glfw-idris-st github similar
• camelpunch/roguedris github similar
• sarahzrf/coq-depleted github similar
• jonsterling/coq-sgdt github similar
• xuanruiqi/commalg github similar
• elpinal/duploids github similar
• stefan-hoeck/idris2-prim github similar
• andorp/IdrisExtSTGCodegen github similar
• paf31/purescript-pairing github similar
• brandondyck/idris-vdom github similar
• asajeffrey/finite-dtypes github similar
• corazza/idris-box2d github similar
• gallais/great-library-of-idris github similar
• annenkov/trace-monoids github similar
• benjaminflin/idris-qsort github similar
• mmhelloworld/Idris2 github similar