Similar repositories to effectfully/inference-in-agda:
effectfully/inference-in-agda
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
effectfully/Cubes
github
similar
tootsuite/mastodon
github
similar
tuvtran/project-based-learning
github
similar
aquynh/capstone
github
similar
fizruk/lambda-mu-mu-calculus
github
similar
robrix/seq
github
similar
liamoc/dddp
github
similar
WhatisRT/meta-cedille
github
similar
flupe/generics
github
similar
pigworker/potato
github
similar
roglo/coq_real
github
similar
uds-psl/churchs-thesis-coq
github
similar
JoeyEremondi/lambda-pi-constraint
github
similar
jespercockx/popl19-tutorial
github
similar
RobertHarper/hott-notes
github
similar
neel-krishnaswami/inverse-bidirectional-typechecking
github
similar
Event-Structures/event-struct
github
similar
uds-psl/autosubst-ocaml
github
similar
Trebor-Huang/Down-The-Path
github
similar
ReactTraining/react-router
github
similar
postalhq/postal
github
similar
Eloston/ungoogled-chromium
github
similar
Eugeny/terminus
github
similar
pixijs/pixi.js
github
similar
meilisearch/MeiliSearch
github
similar
eddywestbrook/predicate-monads
github
similar
bedrocksystems/cpp2v
github
similar
Lysxia/coq-recursion-schemes
github
similar
plt-hokusai/ahc
github
similar
Twey/agda-imp
github
similar
laMudri/generic-lr
github
similar
karroffel/Idris2-Ocaml
github
similar
sabauma/agda-relation-algebra
github
similar
robinvd/lang-experiments
github
similar
coq-community/HighSchoolGeometry
github
similar
dboulytchev/miniKanren-coq
github
similar