Alternatives and similar repositories for relaxed-machines:

Users that are interested in relaxed-machines are comparing it to the libraries listed below

• statusfailed / numeric-optics-python
  ☆24Updated 2 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 8 months ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 2 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆25Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 3 weeks ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 5 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated last year
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆15Updated this week
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆21Updated 2 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 6 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 3 months ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆62Updated 10 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year