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 10 months ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 2 years ago
• rocq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆38Updated 8 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆184Updated last week
• damien-pous / coinduction
  coinduction library for Coq
  ☆17Updated last month
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆106Updated 10 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆63Updated 3 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆71Updated 5 years ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆20Updated this week
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 2 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆127Updated 8 months ago
• arthuraa / deriving
  Class instances for Coq inductive types with little boilerplate
  ☆24Updated last week
• rocq-archive / stdlib2
  ☆38Updated last year
• thehottgame / theHoTTGameGuide
  ☆24Updated 10 months ago
• Saizan / cubical-demo
  ☆45Updated 5 years ago
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 7 years ago
• VictorCMiraldo / agda-rw
  This is the place where (more or less) stable releases of my RW library will be published.
  ☆16Updated 4 years ago
• charguer / formalmetacoq
  Arthur's Formal Metatheory in Coq
  ☆17Updated 9 months ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆89Updated last month
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆20Updated last year
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆13Updated 2 months ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆52Updated last year
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• rocq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆58Updated 7 months ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆175Updated this week
• guillaumebrunerie / initiality
  A formalized proof of a version of the initiality conjecture
  ☆41Updated 4 years ago
• gallais / type-scope-semantics
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆22Updated 6 years ago
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆97Updated last week