Similar repositories to pedagand/agda-datalib:

• pedagand/agda-datalib github similar
• texacker/monad github similar
• ashinkarov/2021-extraction-paper github similar
• benediktahrens/CT4P github similar
• EUProofInfra/EUProofInfra github similar
• andreasabel/haskell-style-guide github similar
• pigworker/SSGEP-DataData github similar
• nachivpn/nbe-edsl github similar
• effectfully/STLC github similar
• effectfully/Generic github similar
• agda/agda-pkg github similar
• wenkokke/AutoInAgda github similar
• unicoq/unicoq github similar
• agda/agda2hs github similar
• spire/spire github similar
• mortberg/yacctt github similar
• sweirich/lambda-n-ways github similar
• UlfNorell/agda-prelude github similar
• msp-strath/TypOS github similar
• tweag/linear-types github similar
• wenkokke/schmitty github similar
• abella-prover/abella github similar
• LPCIC/coq-elpi github similar
• jonsterling/JonPRL github similar
• banacorn/agda-mode-vscode github similar
• RedPRL/sml-redprl github similar
• ditto/ditto github similar
• mattam82/Coq-Equations github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• wilbowma/cur github similar
• Nike-Inc/hal github similar
• databricks/sjsonnet github similar
• tweag/rules_haskell github similar
• HoTT/HoTT-Agda github similar
• agda/agda-categories github similar
• agda/cubical github similar
• tweag/jupyterWith github similar
• agda/agda-stdlib github similar
• granule-project/granule github similar
• projectnessie/nessie github similar