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
- ☆52Updated 8 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- A small demo lambda-language written in Python☆32Updated 6 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- ☆14Updated 4 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- ☆22Updated 8 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆41Updated 5 months ago
- Poplog☆21Updated 14 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- lips style preprocessor implemented in guile.☆9Updated 8 years ago
- A linter for the Scheme programming language☆10Updated 8 years ago
- Distributed Lisp interpreter in Erlang.☆11Updated 8 years ago
- A BASIC-flavored Lisp dialect☆72Updated 2 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
- SOM - Simple Object Machine☆23Updated 3 weeks ago
- Experimental Javascript Environment☆22Updated 16 years ago