Similar repositories to david-christiansen/idris-code-highlighter:
david-christiansen/idris-code-highlighter
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
domchristie/turndown
github
similar
shaunlebron/parinfer
github
similar
postalhq/postal
github
similar
ReactTraining/react-router
github
similar
ocharles/ghc-nix
github
similar
oragono/oragono
github
similar
hecrj/iced
github
similar
mono/linker
github
similar
motemen/gore
github
similar
Eloston/ungoogled-chromium
github
similar
ubuntu/microk8s
github
similar
aquynh/capstone
github
similar
pixijs/pixi.js
github
similar
tootsuite/mastodon
github
similar
google/shaka-player
github
similar
Eugeny/terminus
github
similar
c-hj/SJTU-Courses
github
similar
flutter/flutter_web
github
similar
serras/cat-theory-lambdaconf-wr-2017
github
similar
ahmadsalim/well-typed-agda-interpreter
github
similar
david-christiansen/wl-pprint
github
similar
JakobBruenker/curses-idris
github
similar
edwinb/Vars
github
similar
david-christiansen/derive-all-the-instances
github
similar
msprotz/proof-search-monad
github
similar
vmchale/linkedin-madlibs
github
similar
gallais/typing-with-leftovers
github
similar
Heather/idris-unicode
github
similar
lambdaxymox/idris-nanoparsec
github
similar
RobertHarper/hott-notes
github
similar
effectfully/STLC
github
similar
fabianhjr/idr-logical-foundations
github
similar
dredozubov/category-studygroup
github
similar
RyanGlScott/levitation
github
similar
scott-fleischman/agda-travis
github
similar
japesinator/Idris-Bifunctors
github
similar
alhassy/multistage-programming-taha
github
similar