namin / relaxed-machines

Related projects: ⓘ

• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆24Updated last year
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆90Updated 5 years ago
• dennybritz / probability-monads
  ☆10Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 4 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆21Updated 3 months ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆12Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆29Updated 4 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• mattecapu / categorical-systems-theory
  ☆34Updated 2 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆35Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆32Updated 11 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated 9 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆35Updated 5 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆17Updated 2 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆42Updated 7 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆50Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 6 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆73Updated last month
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆48Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 2 months ago
• opencompl / egg-tactic-code
  ☆13Updated last year
• google / formal-ml
  ☆22Updated 3 years ago