Similar repositories to idris-hackers/idris-algebra:
idris-hackers/idris-algebra
github
similar
danistefanovic/build-your-own-x
github
similar
ReactTraining/react-router
github
similar
hecrj/iced
github
similar
gibiansky/IHaskell
github
similar
motemen/gore
github
similar
domchristie/turndown
github
similar
tuvtran/project-based-learning
github
similar
hanxiao/bert-as-service
github
similar
ubuntu/microk8s
github
similar
soimort/idris-commonmark
github
similar
gionkunz/chartist-js
github
similar
philnguyen/z3-rkt
github
similar
RobertHarper/hott-notes
github
similar
idris-hackers/idris-free
github
similar
japesinator/Idris-Bifunctors
github
similar
vishesh/racketscript
github
similar
srijs/haskell-aws-dynamodb-conduit
github
similar
mbertheau/xxracket
github
similar
juxt/crux
github
similar
jonsterling/agda-sheaf-semantics
github
similar
precog/quasar
github
similar
alexcrichton/cc-rs
github
similar
postalhq/postal
github
similar
k6io/k6
github
similar
zalando/connexion
github
similar
jsmaniac/type-expander
github
similar
leandrotk/functional-programming-learning-path
github
similar
lukaszbanasiak/yahoo-finance
github
similar
lab-ml/annotated_deep_learning_paper_implementations
github
similar
Eloston/ungoogled-chromium
github
similar
racket-tw/intellij-racket
github
similar
casvdrest/composable.agda
github
similar
meilisearch/MeiliSearch
github
similar
tootsuite/mastodon
github
similar
zilberstein/system-fc-coq
github
similar
racket/data
github
similar
cgswords/rkanren
github
similar
shaunlebron/parinfer
github
similar
asajeffrey/cubical-syntax
github
similar