Similar repositories to mbrodersen/idris-sandbox:

• mbrodersen/idris-sandbox github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• RH12503/triangula github similar
• oven-sh/bun github similar
• inanna-malick/hgit github similar
• masaeedu/rigmonoids github similar
• masaeedu/automonad.hs github similar
• andrewthad/bytehash github similar
• andrewthad/primitive-indexed github similar
• bristolpl/intensional-datatys github similar
• masaeedu/tensorfold github similar
• themattchan/lamb github similar
• mrkgnao/utt github similar
• MathiasVP/Z github similar
• osa1/wasmrun github similar
• FreeProving/language-coq github similar
• joshuasellers/CardgameDSL github similar
• adjoint-io/cfrac github similar
• masaeedu/selectivemonoidal github similar
• ekmett/distrust github similar
• cartazio/system-lf github similar
• taktoa/spim-compiler github similar
• MatthewStein/adrenalina github similar
• mrkgnao/jeans github similar
• ssomayyajula/elab github similar
• taktoa/cs524-actor github similar
• luqui/manifesto github similar
• jespercockx/ttac github similar
• pcaisse/language-map-us github similar
• Ptival/language-coq github similar
• adituv/typenums github similar
• ori-sky/hs-etch github similar
• ekmett/hyperfunctions github similar
• minchaowu/mm-lean github similar
• archaeron/idris-fiamma github similar
• kcsmnt0/proof-trees github similar
• cmk/rings github similar
• madgen/refinement-types-seminar github similar
• cocreature/robinhood github similar