Similar repositories to L-TChen/FiniteSets:
L-TChen/FiniteSets
github
similar
bedrocksystems/cpp2v
github
similar
nmvdw/HITs-Examples
github
similar
cj-xu/OrdinalNotations
github
similar
amblafont/UniversalII
github
similar
Deducteam/Agda2Dedukti
github
similar
jonsterling/effectful-typesetting
github
similar
mr-ohman/intuitionistic-normalization
github
similar
JLimperg/well-founded-corecursion
github
similar
conal/calculating-compilers-agda
github
similar
nad/dependent-lenses
github
similar
nmvdw/GrpdHITs
github
similar
oisdk/finiteness-in-cubical-type-theory
github
similar
groupoid/anders
github
similar
Zekt/MOlang
github
similar
camoy/redex-parameter
github
similar
casvdrest/composable.agda
github
similar
bennn/syntax-parse-example
github
similar
jonsterling/lecture-notes
github
similar
gibiansky/IHaskell
github
similar
ReactTraining/react-router
github
similar
aquynh/capstone
github
similar
thautwarm/HMRowUnification.jl
github
similar
heliaxdev/witch
github
similar
Syntacticlosure/eff
github
similar
raptazure/kweh
github
similar
ice1000/anqur
github
similar
re-xyr/speff
github
similar
maxsnew/synthetic-domain-theory
github
similar
matijapretnar/millet
github
similar
exaloop/codon
github
similar
danistefanovic/build-your-own-x
github
similar
arend-lang/arend-contrib
github
similar
sstucki/pts-agda
github
similar
Fyrbll/pwrt-racket
github
similar
andrejbauer/higher-rank-syntax
github
similar
mflatt/expr-editor
github
similar
rxg/type-cert
github
similar
sorawee/drracket-fmt
github
similar
andy0130tw/agda-prebuilt
github
similar