Similar repositories to matthesjh/coq-tal:

• matthesjh/coq-tal github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• kendroe/CoqRewriter github similar
• alexcrichton/cc-rs github similar
• AxiomCrisis/lda github similar
• AxiomCrisis/proofs github similar
• PLSysSec/veriwasm-verification github similar
• owo-lang/Mini-TT github similar
• JoeyEremondi/lambda-pi-constraint github similar
• annenkov/trace-monoids github similar
• LdBeth/keim github similar
• pleiad/Refinements github similar
• sofn-xyz/mailing github similar
• mikeshulman/ohtt github similar
• tiatomee/toml-idr github similar
• tlringer/ml-for-proofs github similar
• smlnj/smlnj github similar
• ralsei/six-eyes github similar
• oven-sh/bun github similar
• plt-amy/cubical-methods github similar
• Eugeny/terminus github similar
• tootsuite/mastodon github similar
• dotpat/hs-http github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• moyix/fauxpilot github similar
• ailrk/lambda-cube github similar
• border-patrol/lightclick github similar
• ankitku/TAL0 github similar
• uds-psl/cbv-lambda-calculus-reasonable github similar
• m0rphism/definitional github similar
• CoqHott/exceptional-tt github similar
• daanx/effect-bench github similar
• skeuchel/mtc github similar
• jvanbruegge/isabelle-lambda-calculus github similar
• thery/T2048 github similar
• jonsterling/agda-stc github similar
• xnning/MpEff github similar
• RobertHarper/hott-notes github similar