Similar repositories to mgsloan/instance-templates:
mgsloan/instance-templates
github
similar
KesterTong/idris-finite-math
github
similar
david-christiansen/idris-utils
github
similar
tootsuite/mastodon
github
similar
andrewthad/lens-prelude
github
similar
pixijs/pixi.js
github
similar
mgsloan/Haskell-Re-Syntaxed
github
similar
himikof/typed-lojban
github
similar
dnaq/crypto-sodium
github
similar
wcauchois/spaceman
github
similar
reynir/Verified
github
similar
commandodev/purescript-nix
github
similar
dag/path
github
similar
relrod/tryidris-scala
github
similar
edwinb/Eff-new
github
similar
jfdm/idris-xml
github
similar
technogeeky/zeroth
github
similar
soimort/idris-commonmark
github
similar
saltlang/saltlang
github
similar
YoEight/stream
github
similar
relrod/tryidris-android
github
similar
joshcough/HaskellCourse
github
similar
knsd/crypto-pubkey-openssh
github
similar
quarterpast/fantasy-http
github
similar
folone/roy-mode
github
similar
ekmett/thrists
github
similar
jdegoes/redeyes
github
similar
hargettp/raft
github
similar
Helkafen/wai-middleware-metrics
github
similar
david-christiansen/helm-idris
github
similar
AshyIsMe/lambdatwit
github
similar
metasepi/netbsd-arafura-s1
github
similar
webcrank/webcrank.hs
github
similar
edwinb/WS-idr
github
similar
ermine-language/ermine-scala-core
github
similar
argonaut-io/argonaut-hs
github
similar
idris-hackers/idris-bot
github
similar
luzhuomi/system-gpio
github
similar
ocharles/opaleye-tf
github
similar
soenkehahn/dead-code-detection
github
similar