Similar repositories to amintimany/NbE:

• amintimany/NbE github similar
• danistefanovic/build-your-own-x github similar
• sergei-romanenko/agda-almost-full github similar
• bedrocksystems/cpp2v github similar
• epfl-lara/SystemFR github similar
• tchajed/coq-survey github similar
• Toxaris/stlc.scala github similar
• DmxLarchey/PC19 github similar
• Alendia/plfa-answers github similar
• jesper-bengtson/ChargeCore github similar
• cubical-trio-theory/cubical-trio-theory github similar
• jashug/IWTypes github similar
• SIGPLAN/SIGPLAN.github.io github similar
• tonyxty/grimoire github similar
• m0rphism/definitional github similar
• Trebor-Huang/agda-linear github similar
• samuelgruetter/coq-smt-notations github similar
• jonsterling/lean4-sgdt github similar
• eddywestbrook/predicate-monads github similar
• coq-community/templates github similar
• jonsterling/agda-stc github similar
• tchajed/coq-ltac2-experiments github similar
• HoTT/HoTT-2023 github similar
• chrisamaphone/lfinlf github similar
• sstucki/f-omega-int-agda github similar
• Saizan/parametric-demo github similar
• agda/package-index github similar
• math-comp/tutorial_material github similar
• uds-psl/autosubst2 github similar
• coq-community/docker-coq-action github similar
• amaurremi/dot-calculus github similar
• evdenis/acsl-proved github similar
• clarus/coq-of-js github similar
• lastland/ClairvoyanceMonad github similar
• Blaisorblade/dot-iris github similar
• awalterschulze/regex-reexamined-coq github similar
• leuschel/logen github similar
• EduardoRFS/ocaml-jit-example github similar
• jaycech3n/Isabelle-HoTT github similar
• thautwarm/MLFS.jl github similar