Similar repositories to srid/idris-js-template:
gibiansky/IHaskell
github
similar
Eloston/ungoogled-chromium
github
similar
srid/idris-js-template
github
similar
tweag/awesome-learning-haskell
github
similar
danistefanovic/build-your-own-x
github
similar
bkomuves/AOC
github
similar
stefan-hoeck/idris2-prim
github
similar
ursi/nix-html
github
similar
madman-bob/idris2-table
github
similar
obsidiansystems/constraints-extras
github
similar
domenkozar/paddle
github
similar
obsidiansystems/directory-contents
github
similar
isovector/blagda
github
similar
alexhumphreys/hello-idris2
github
similar
andorp/TaPL
github
similar
mkroman/rss-watch
github
similar
kbertalan/tyttp
github
similar
3noch/nix-bundle-exe
github
similar
ECburx/Idris2GL
github
similar
kasiaMarek/TyRE
github
similar
joshvera/generative-effects
github
similar
mankyKitty/fantastic-waddle
github
similar
jmgilman/dev-container
github
similar
haskell-actions/hackage-publish
github
similar
dorin131/inline-webassembly
github
similar
srid/rib-sample
github
similar
claymager/idris2-pkgs
github
similar
con-kitty/categorifier
github
similar
mstksg/nonempty-containers
github
similar
bamboo/idris2-lsp-vscode
github
similar
tw-in-js/twind-cli
github
similar
ohad/collie
github
similar
ShinKage/idris2-nvim
github
similar
NorfairKing/feedback
github
similar
octeep/idris2-tls
github
similar
BartoszMilewski/PolyLens
github
similar
haskellari/some
github
similar
stefan-hoeck/idris2-sop
github
similar
domenkozar/releaser
github
similar
ursi/purs-nix
github
similar