Similar repositories to icicle-lang/icicle:
icicle-lang/icicle
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
parsonsmatt/hash-rekt
github
similar
GaloisInc/cryptol-verifier
github
similar
tootsuite/mastodon
github
similar
meilisearch/MeiliSearch
github
similar
bitc/hs-vault-tool
github
similar
robrix/elab
github
similar
iand675/hstate
github
similar
LightAndLight/bide
github
similar
tonyday567/numhask-array
github
similar
isovector/circuitry
github
similar
ollef/dependent-hashmap
github
similar
LightAndLight/eden
github
similar
tonyday567/chart-svg
github
similar
joshuaclayton/file-fun
github
similar
jyp/lp-diagrams
github
similar
aatxe/diet-coke
github
similar
LightAndLight/stg-llvm
github
similar
input-output-hk/goblins
github
similar
dmwit/ordered-containers
github
similar
elliottt/layout-rules
github
similar
isovector/design-tools
github
similar
higherkindness/protobuf-parser-haskell
github
similar
verement/decimal-arithmetic
github
similar
5outh/Molecule
github
similar
goldfirere/triptych
github
similar
gvolpe/split-morphism
github
similar
robdockins/shellac
github
similar
judah/terminfo
github
similar
tathougies/closed-world
github
similar
robrix/Manifold
github
similar
RyanGlScott/eliminators
github
similar
oragono/oragono
github
similar
minad/andromeda.hs
github
similar
andrewthad/reflex-cofree
github
similar
minad/writer-cps-monads-tf
github
similar
minad/quickcheck-special
github
similar
minad/wl-pprint-console
github
similar