ColemanGariety / derivation-machine
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
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- experimental computational medium and supporting tools☆22Updated this week
- ☆52Updated 7 years ago
- Alice ML implementation☆17Updated 2 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 9 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- A C implementation of the Shen programming language☆70Updated 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
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- The MLtonLibrary repository☆36Updated last year
- Example of injecting x64 shellcode into Amazon Redshift☆16Updated 7 years ago
- A programming language☆77Updated 11 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- ☆14Updated 4 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- ☆17Updated 5 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago