Similar repositories to iwilare/church-rosser:
iwilare/church-rosser
github
similar
aztek/Solver.agda
github
similar
iwilare/formal-methods
github
similar
nachivpn/gluetn
github
similar
julianhyde/morel
github
similar
TermCOMP/TPDB
github
similar
arend-lang/tutorial-code
github
similar
llee454/functional-algebra
github
similar
ptarau/TypesAndProofs
github
similar
bzhan/holpy
github
similar
ashton314/muKanren_reading
github
similar
mr-ohman/logrel-mltt
github
similar
DimaSamoz/agda-soas
github
similar
uwplse/ruler
github
similar
prathyvsh/lambda-calculus-visualizations
github
similar
mpedramfar/Lean-game-maker
github
similar
probcomp/sppl
github
similar
ImperialCollegeLondon/group-theory-game
github
similar
UlfNorell/x86-agda
github
similar
JetBrains/arend-lib
github
similar
HarrisonGrodin/Rewrite.jl
github
similar
sweirich/lambda-n-ways
github
similar
polux/lambda-diagrams
github
similar
smlnj/smlnj
github
similar
tromp/AIT
github
similar
Beluga-lang/Beluga
github
similar
Storyyeller/cubiml-demo
github
similar
stchang/macrotypes
github
similar
coq-community/fourcolor
github
similar
blynn/compiler
github
similar
AnyDSL/thorin
github
similar
kbuzzard/xena
github
similar
avik-pal/RayTracer.jl
github
similar
webyrd/miniKanren-with-symbolic-constraints
github
similar
formalabstracts/formalabstracts
github
similar
NICTA/cogent
github
similar
w7cook/AoPL
github
similar
DeepSpec/InteractionTrees
github
similar
RuleBasedIntegration/Rubi
github
similar
snowleopard/alga-paper
github
similar