Alternatives and similar repositories for blog:

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

• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 10 months ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 10 months ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆17Updated 3 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆58Updated last year
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 10 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆49Updated 7 months ago
• affeldt-aist / infotheo
  A Coq formalization of information theory and linear error-correcting codes
  ☆70Updated last week
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆29Updated 4 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆23Updated this week
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆102Updated this week
• jkoppel / ecta
  ☆35Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Updated 3 years ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆172Updated 3 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆42Updated 11 months ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆36Updated 3 years ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated 3 weeks ago
• djvelleman / HTPILeanPackage
  ☆29Updated 3 months ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 5 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆70Updated last month
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago