Similar repositories to yurrriq/the-power-of-pi:

• yurrriq/the-power-of-pi github similar
• yurrriq/learning-idris github similar
• yurrriq/friendly-intro-to-group-theory github similar
• parsonsmatt/packedbits github similar
• uelis/modular github similar
• newlandsvalley/purescript-polyphonic-soundfonts github similar
• yurrriq/idris-alga github similar
• arianvp/types-and-statemachines github similar
• yurrriq/idris-logic github similar
• gergoerdi/system-f-agda github similar
• AHartNtkn/Kitmit github similar
• barras/abstract-machines github similar
• asajeffrey/finite-dtypes github similar
• ak3n/system-f-pop github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• RyanGlScott/levitation github similar
• bitonic/kant github similar
• michaelt/structured-graphs github similar
• ollef/region github similar
• BekaValentine/basic-proof-development github similar
• SimonJF/IdrisNet github similar
• RedPRL/sml-final-pretty-printer github similar
• AHartNtkn/IotaTT github similar
• yannham/visual-goi github similar
• TimRichter/CId github similar
• ElvishJerricco/reflex-websockets github similar
• pfnet-research/pml github similar
• ayberkt/Mini-TT github similar
• shlevy/cat-fiat github similar
• sto0pkid/CategoryTheory github similar
• gergoerdi/syntactic-stlc github similar
• gallais/idris-tmustache github similar
• ezhulenev/hyperloglogplus github similar
• boomshroom/NovaLang github similar
• dmurfet/polysemantics github similar
• srdqty/talc-3.0 github similar
• sellout/Iaia github similar
• A1kmm/http4idris github similar
• jameshaydon/idris-graphql github similar
• lpsmith/configurator-ng github similar