Alternatives and similar repositories for leibniz:

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

• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 8 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆237Updated 4 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆135Updated 8 years ago
• AthenaModel / athena
  Athena Regional Stability Simulation
  ☆85Updated 8 years ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 2 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 5 months ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆620Updated 3 years ago
• louisabraham / algnuth
  Algebraic Number Theory package
  ☆271Updated 3 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆123Updated 7 months ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆411Updated 8 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• iostreamer-X / FuncShell
  Improve your shell by making it functional through Haskell! (An update to Awkward)
  ☆291Updated 3 years ago
• l29ah / muesli
  An alternative approach to food
  ☆187Updated 4 months ago
• jostmey / DeepNeuralClassifier
  Deep neural network using rectified linear units to classify hand written symbols from the MNIST dataset.
  ☆243Updated last year
• tamamu / darkmatter
  The notebook-style Common Lisp environment
  ☆358Updated 4 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,056Updated 8 months ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• alehander92 / Airtight
  a python-like language with hindley-milner-like type system, which is compiled to c
  ☆242Updated 3 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 3 months ago
• owl-lisp / owl
  A functional Scheme for world domination.
  ☆380Updated 6 years ago
• jiahao / backus-dijkstra-letters-1979
  Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…
  ☆108Updated 8 years ago
• damelang / nile
  ☆716Updated 4 years ago
• agentx-cgn / Hannibal
  An AI/bot for 0 A.D.
  ☆168Updated 7 years ago
• baruchel / lambdascript
  A new pure functional language built on the top of Python
  ☆280Updated 3 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• panicz / pamphlet
  Source Codes for "A Pamphlet against R"
  ☆99Updated 3 years ago
• pfdamasceno / shakespeare
  Identify relevant scientific papers with simple machine learning techniques
  ☆26Updated 9 years ago