Alternatives and similar repositories for Conan:

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

• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• conal / Collaboration
  Play/learn/work with me
  ☆103Updated 8 months ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆20Updated this week
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated last month
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆207Updated last week
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆34Updated 2 years ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆63Updated 3 years ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆183Updated this week
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆107Updated 10 years ago
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆44Updated last year
• rocq-archive / stdlib2
  ☆38Updated last year
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated this week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆229Updated 2 weeks ago
• rocq-community / semantics
  A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…
  ☆48Updated 3 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆58Updated last year
• jozefg / higher-order-unification
  A small implementation of higher-order unification
  ☆188Updated 7 years ago
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 4 years ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on Call-by-push-value
  ☆53Updated 2 weeks ago
• jozefg / blott
  An experimental type checker for a modal dependent type theory.
  ☆111Updated 4 years ago
• ufmg-smite / carcara
  ☆35Updated this week
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆188Updated 8 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆74Updated this week
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆65Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated last week
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year