Similar repositories to vmchale/composition:

• vmchale/composition github similar
• trillioneyes/idris-canvas github similar
• writeoncereadmany/idris-dimensions github similar
• fieldstrength/xquant github similar
• Trundle/idris-go github similar
• QuentinDuval/IdrisReducers github similar
• vmchale/permutations github similar
• fieldstrength/probability github similar
• QuentinDuval/IdrisPipes github similar
• aleksandarmilicevic/hola github similar
• uwap/idris-http github similar
• spechub/Hets github similar
• rbarreiro/idrisjs github similar
• xgrommx/idris-ecosystem github similar
• be5invis/idris-codegen-es github similar
• affeldt-aist/infotheo github similar
• SPY/idris-codegen-wasm github similar
• jfdm/idris-containers github similar
• coq-community/coq-ext-lib github similar
• joom/hezarfen github similar
• math-comp/fourcolor github similar
• stedolan/ppx_stage github similar
• timjb/quantities github similar
• jozefg/higher-order-unification github similar
• elba/elba github similar
• RedPRL/sml-redprl github similar
• statebox/idris-ct github similar
• ziman/lightyear github similar
• CBaquero/delta-enabled-crdts github similar
• jrh13/hol-light github similar
• xldenis/creusot github similar
• joaomilho/awesome-idris github similar
• typedefs/typedefs github similar
• mmhelloworld/idris-jvm github similar
• idris-hackers/software-foundations github similar
• AlgebraicJulia/Catlab.jl github similar
• Gabriel439/Haskell-Pipes-Library github similar
• hazelgrove/hazel github similar
• derive4j/derive4j github similar
• the-little-typer/pie github similar