Similar repositories to aztek/Solver.agda:
pixijs/pixi.js
github
similar
aztek/Solver.agda
github
similar
iwilare/church-rosser
github
similar
isovector/wheatley
github
similar
nachivpn/gluetn
github
similar
Gutek/fallacies-of-distributed-computing
github
similar
julianhyde/morel
github
similar
UChicago-PL/smyth
github
similar
ssbothwell/HowardLang
github
similar
atennapel/coc-os
github
similar
Toxaris/pts
github
similar
libmir/mir-core
github
similar
mr-ohman/logrel-mltt
github
similar
mb64/prolog
github
similar
alox-lang/alox
github
similar
matthewfl/redmagic
github
similar
duo-lang/duo-lang
github
similar
dobesv/charity
github
similar
aap/b
github
similar
aspiwack/peppermint-prover
github
similar
vehicle-lang/vehicle
github
similar
frex-project/idris-frex
github
similar
DimaSamoz/agda-soas
github
similar
FreeProving/free-compiler
github
similar
mpedramfar/Lean-game-maker
github
similar
Symbolica/Symbolica
github
similar
ImperialCollegeLondon/group-theory-game
github
similar
touist/touist
github
similar
etaoins/llambda
github
similar
digama0/mmj2
github
similar
DBCG/Dataphor
github
similar
AndrasKovacs/setoidtt
github
similar
IxpertaSolutions/freer-effects
github
similar
egel-lang/egel
github
similar
Gradual-Typing/Grift
github
similar
andrejbauer/alg
github
similar
luc-tielen/eclair-lang
github
similar
kmill/lean4-raytracer
github
similar
lamdu/hypertypes
github
similar
nikomatsakis/a-mir-formality
github
similar