Alternatives and similar repositories for logical-induction

Users that are interested in logical-induction are comparing it to the libraries listed below

• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆79Updated this week
• machine-intelligence / provability
  ☆37Updated 9 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 8 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆97Updated last year
• mattecapu / categorical-systems-theory
  ☆40Updated last month
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• philipp-zahn / open-games-engine
  Haskell implementation of open games
  ☆37Updated 8 months ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆168Updated 4 months ago
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆25Updated 2 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 3 months ago
• ActiveInferenceInstitute / ActiveInferenceCategoryTheory
  Active Inference & Category Theory
  ☆10Updated last year
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆29Updated last month
• ToposInstitute / poly
  ☆115Updated 11 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆30Updated last month
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 3 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆38Updated last week
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆24Updated last year
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated 2 years ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• cadCAD-org / CadCAD.jl
  cadCAD implementation in Julia
  ☆16Updated 6 months ago
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 6 years ago
• piantado / Fleet
  ☆61Updated last month
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆70Updated 10 months ago