khinsen / leibnizLinks
Moved to https://codeberg.org/khinsen/leibniz
☆282Updated 3 months ago
Alternatives and similar repositories for leibniz
Users that are interested in leibniz are comparing it to the libraries listed below
Sorting:
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- A simple Wolfram Language clone in Haskell☆244Updated 5 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- Prototype smart text editor☆1,064Updated 2 months ago
- A probabilistic programming language☆318Updated 3 years ago
- Improve your shell by making it functional through Haskell! (An update to Awkward)☆290Updated 3 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆621Updated 4 years ago
- Algebraic Number Theory package☆272Updated 3 years ago
- a multi-syntax language☆136Updated 9 years ago
- A new pure functional language built on the top of Python☆280Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- Probabalistic Advanced Modeling and Execution Learning Architecture☆230Updated last year
- The notebook-style Common Lisp environment☆358Updated 4 years ago
- APL Compiler targeting a typed array intermediate language☆214Updated 9 months ago
- A modern syntax for the λ-calculus.☆412Updated 8 years ago
- ☆722Updated 5 years ago
- generator for complex configurations☆99Updated 7 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- An AI/bot for 0 A.D.☆168Updated 8 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆225Updated 3 years ago
- Simulate reverse causality using quantum suicide.☆366Updated 8 years ago
- a python-like language with hindley-milner-like type system, which is compiled to c☆246Updated 3 years ago
- A framework of abstractions☆293Updated 11 months ago
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated 11 months ago
- A functional Scheme for world domination.☆381Updated 7 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- Deep neural network using rectified linear units to classify hand written symbols from the MNIST dataset.☆243Updated 2 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 7 months ago
- Process lists easily☆144Updated 8 years ago