ColemanGariety / derivation-machineLinks
Propositional calculus in Haskell
☆11Updated 8 years ago
Alternatives and similar repositories for derivation-machine
Users that are interested in derivation-machine are comparing it to the libraries listed below
Sorting:
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- ☆52Updated 8 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- experimental computational medium and supporting tools☆23Updated this week
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- Iterated Function Systems fractals with OCaml.☆34Updated 3 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Naive Bayesian Classifier written in APL☆24Updated 7 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 10 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- A programming language☆77Updated 12 years ago
- Sild is a lisp dialect☆43Updated 6 months ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- ☆29Updated 10 years ago
- Poplog☆21Updated 14 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- Playing with Factor☆29Updated 4 years ago