Alternatives and similar repositories for deeplearning:

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

• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 9 months ago
• engboris / stellogen
  A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax
  ☆70Updated this week
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆69Updated 4 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• harp-lab / gdlog
  ☆79Updated 2 months ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 4 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 4 months ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 8 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆84Updated this week
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆94Updated 2 weeks ago
• metacrank / cognition-archive
  ☆43Updated 3 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 6 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆155Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last week
• alt-romes / reference-counting
  Reference counting with linear types
  ☆30Updated 6 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆165Updated last month
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆72Updated 3 years ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆131Updated 9 months ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆23Updated last week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated last year