Similar repositories to mroman42/vitrea-agda:

• mroman42/vitrea-agda github similar
• joneshf/purescript-ui github similar
• danistefanovic/build-your-own-x github similar
• grumply/origami-fold github similar
• hecrj/iced github similar
• Lysxia/coq-recursion-schemes github similar
• mroman42/optics-form-a-category github similar
• unisonweb/vscode-unison github similar
• roc-lang/roc github similar
• anoma/juvix-archived github similar
• tchoutri/biscuit-demo github similar
• unimath2019-tt/UniMath github similar
• candidosales/dependency-report github similar
• maciejpirog/exotic-list-monads github similar
• danelahman/Dep-Mon-Parsing github similar
• jasigal/handlers-in-action github similar
• AviCraimer/category-theory-diagrams github similar
• BebeSparkelSparkel/optics-by-example github similar
• haskell-effectful/cache-effectful github similar
• Agnishom/lattice-mtl github similar
• neongreen/to github similar
• xgrommx/purescript-profunctor-lenses-extra github similar
• Taneb/project-euler github similar
• smimram/fibred-polynomials github similar
• fumieval/data-functor-logistic github similar
• cofree-coffee/cofree-coffee-cast github similar
• bacam/handlers-in-ott github similar
• danelahman/POPL18 github similar
• masaeedu/proppie github similar
• Lolirofle/stuff-in-agda github similar
• conal/agda-cat-linear github similar
• msp-strath/ask github similar
• ualib/agda-algebras github similar
• nikivazou/proof-combinators github similar
• isovector/wfc github similar
• arthurxavierx/monadic-party-edsl github similar
• ashinkarov/agda-array github similar
• niccoloveltri/agda-gtt github similar
• kofno/purescript-aws-lambda github similar
• stefaniatadama/inductive_types github similar