Alternatives and similar repositories for nadlogar:

Users that are interested in nadlogar are comparing it to the libraries listed below

• ul-fmf / projekt-tomo
  Spletna storitev za poučevanje programiranja
  ☆14Updated 9 months ago
• rocq-archive / stdlib2
  ☆38Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆183Updated last week
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 2 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆105Updated 9 years ago
• damien-pous / coinduction
  coinduction library for Coq
  ☆17Updated last week
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆62Updated 3 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆22Updated 3 weeks ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 2 years ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆73Updated last month
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆127Updated 7 months ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆70Updated 5 years ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆126Updated last year
• rocq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆37Updated 8 months ago
• Saizan / cubical-demo
  ☆45Updated 5 years ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆104Updated 3 years ago
• arthuraa / deriving
  Class instances for Coq inductive types with little boilerplate
  ☆24Updated last month
• tchajed / coq-record-update
  Library to create Coq record update functions
  ☆45Updated last month
• VictorCMiraldo / agda-rw
  This is the place where (more or less) stable releases of my RW library will be published.
  ☆16Updated 4 years ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆96Updated 5 months ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆89Updated this week
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆112Updated last year
• rocq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆56Updated 6 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• AndrasKovacs / antifunext
  antifunext
  ☆31Updated 9 months ago
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆16Updated last year
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆27Updated 5 months ago
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆20Updated last year
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 7 years ago