Alternatives and similar repositories for conjure-oxide:

Users that are interested in conjure-oxide are comparing it to the libraries listed below

• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆287Updated 3 months ago
• sebfisch / primes
  Prime Numbers for Haskell
  ☆45Updated 13 years ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆177Updated this week
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆541Updated last year
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆184Updated 2 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆253Updated last month
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆253Updated this week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆453Updated 3 years ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 5 months ago
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 3 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆70Updated this week
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆58Updated last year
• djvelleman / STG4
  Set Theory Game
  ☆16Updated last month
• agda / agda-categories
  A new Categories library for Agda
  ☆376Updated last week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated 2 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆109Updated 9 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆129Updated last week
• UniMath / agda-unimath
  The agda-unimath library
  ☆247Updated last week
• eprover / eprover
  ☆137Updated this week
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆453Updated last year
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆253Updated last week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆306Updated last week
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆911Updated this week
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆202Updated 2 weeks ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆404Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated this week
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆356Updated 2 years ago