khinsen / leibnizLinks
Moved to https://codeberg.org/khinsen/leibniz
☆282Updated 5 months ago
Alternatives and similar repositories for leibniz
Users that are interested in leibniz are comparing it to the libraries listed below
Sorting:
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- Identify relevant scientific papers with simple machine learning techniques☆27Updated 10 years ago
- A simple Wolfram Language clone in Haskell☆245Updated 6 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆622Updated 4 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆125Updated last year
- Prototype smart text editor☆1,063Updated 4 months ago
- Include Jupyter notebook cells in TeX documents☆143Updated 11 months ago
- The notebook-style Common Lisp environment☆359Updated 5 years ago
- A probabilistic programming language☆321Updated 3 years ago
- Dr. Bayes☆84Updated 9 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 9 years ago
- A new pure functional language built on the top of Python☆280Updated 4 years ago
- ☆725Updated 5 years ago
- Search for BibTeX references☆129Updated 7 years ago
- APL Compiler targeting a typed array intermediate language☆216Updated 11 months ago
- A repository for generative models☆116Updated last month
- a multi-syntax language☆136Updated 9 years ago
- The online textbook Probabilistic Models of Cognition☆167Updated 7 years ago
- Deep neural network using rectified linear units to classify hand written symbols from the MNIST dataset.☆243Updated 2 years ago
- A modern syntax for the λ-calculus.☆412Updated 9 years ago
- The BLOG programming language☆98Updated 2 years ago
- Improve your shell by making it functional through Haskell! (An update to Awkward)☆290Updated 3 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- A bytecode compiler for Python 3☆157Updated 5 years ago
- generator for complex configurations☆99Updated 7 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- dead simple way to create semantic, nice to look at slides - without any dependencies☆148Updated 4 years ago
- Source Codes for "A Pamphlet against R"☆100Updated 3 years ago