Similar repositories to alcides/AoC2021Lean4:

• alcides/AoC2021Lean4 github similar
• gibiansky/IHaskell github similar
• CVC4/signatures github similar
• arthurpaulino/LeanMySQL github similar
• mariainesdff/ideles github similar
• philzook58/z3-rise4fun github similar
• favonia/ocaml-objdump github similar
• leanprover/lean4-samples github similar
• uwplse/coq-plugin-lib github similar
• metaocaml/metaocaml-opam github similar
• ammkrn/nanoda_lib github similar
• siddhartha-gadgil/lean-loris github similar
• appliedfm/vstyle-tools github similar
• dselsam/mathport github similar
• ucsd-progsys/liquid-sf github similar
• ekmett/nbe-in-java-19 github similar
• rwbarton/advent-of-lean-4 github similar
• larsk21/iris-lean github similar
• namin/blond github similar
• avigad/boole github similar
• digama0/mm-lean4 github similar
• kayceesrk/cs3100_f19 github similar
• leanprover/doc-gen4 github similar
• jespercockx/ohrid19-agda github similar
• dricketts/teaching-concurrency github similar
• mb64/simple-lambda-prolog github similar
• flupe/generics github similar
• ufmg-smite/lean-smt github similar
• xubaiw/Socket.lean github similar
• karroffel/Idris2-Ocaml github similar
• aws/aws-encryption-sdk-dafny github similar
• leanprover/functional_programming_in_lean github similar
• aryx/yacfe github similar
• JacquesCarette/pi-dual github similar
• ucsd-progsys/230-wi19-web github similar
• avigad/polya github similar
• ocamllabs/ocaml-memory-model github similar
• xavierleroy/cdf-program-logics github similar
• bgavran/Lens_Resources github similar
• dwrensha/lean4-maze github similar