Similar repositories to shayan-najd/wl-pprint:
shayan-najd/wl-pprint
github
similar
gibiansky/IHaskell
github
similar
laughedelic/sublime-idris
github
similar
SimonJF/IdrisNet
github
similar
eraserhd/Idris-json
github
similar
gallais/idris-tmustache
github
similar
jonsterling/constructive-sheaf-semantics
github
similar
japesinator/Idris-Profunctors
github
similar
FranckS/RingIdris
github
similar
idris-hackers/idris-lens
github
similar
ziman/idris-ocaml
github
similar
ziman/itt-idris
github
similar
gallais/typing-with-leftovers
github
similar
google/idris-protobuf
github
similar
david-christiansen/derive-all-the-instances
github
similar
metaborg/linear.agda
github
similar
alexhumphreys/idrall
github
similar
uwap/idris-http
github
similar
edwinb/States
github
similar
albertoruiz/hTensor
github
similar
puffnfresh/bam-idris-blog
github
similar
david-christiansen/IdrisSqlite
github
similar
frex-project/idris-frex
github
similar
SimonJF/IdrisNet2
github
similar
edwinb/Yaffle
github
similar
ziman/idris-py
github
similar
mstksg/hamilton
github
similar
timjb/quantities
github
similar
ziman/lightyear
github
similar
statebox/idris-ct
github
similar
idris-hackers/idris-mode
github
similar
edwinb/Blodwen
github
similar
haskell-numerics/hmatrix
github
similar
mmhelloworld/idris-jvm
github
similar
AndrasKovacs/elaboration-zoo
github
similar
AndrasKovacs/smalltt
github
similar
haskell-CI/haskell-ci
github
similar
AlgebraicJulia/Catlab.jl
github
similar
agda/agda-stdlib
github
similar
edwinb/Idris2-boot
github
similar