Similar repositories to jmars/Records:

• jmars/Records github similar
• danistefanovic/build-your-own-x github similar
• sergei-romanenko/idris-norm-by-traversals github similar
• ollef/ibuild github similar
• aronisstav/formal-trace-theory github similar
• paf31/purescript-foreign-lens github similar
• hrb90/purescript-free-group github similar
• morganthomas/purescript-group github similar
• goldfirere/ott-tutorial github similar
• ostera/tap-idris github similar
• mietek/coquand github similar
• akissinger/pypn github similar
• kaitanie/nix-purescript-example-project github similar
• emilaxelsson/deep-shallow-edsl github similar
• paf31/purescript-tropical github similar
• bamboo/idris-hamt github similar
• awkure/purescript-birds github similar
• elpinal/rain-ml github similar
• ajrouvoet/implicits.agda github similar
• relrod/purescript-googlemaps github similar
• jfdm/smokehill github similar
• RyanGlScott/levitation github similar
• bgavran/DependentOpticsIdris2 github similar
• michaelpj/abstract-machine-debuggers github similar
• yurrriq/idris-logic github similar
• ollef/region github similar
• roglo/coq_real github similar
• FreeProving/free-proving-code github similar
• ashalkhakov/atscntrb-as-ats3d github similar
• haskell-suite/haskell-scope github similar
• LightAndLight/stg-llvm github similar
• olivierverdier/GeometricAlgebra github similar
• jmitchell/idris-elixir github similar
• idris-hackers/idrispkgs github similar
• elpinal/focused-modules github similar
• sdiehl/haskell-linenoise github similar
• eraserhd/Idris-json github similar
• ahmadsalim/desc-n-crunch github similar
• ayberkt/Mini-TT github similar
• benmos/HLevy github similar