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
- APL compiler written in Standard ML☆35Updated 4 years ago
- ☆52Updated 8 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- experimental computational medium and supporting tools☆23Updated 2 weeks ago
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Updated 7 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 10 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Iterated Function Systems fractals with OCaml.☆34Updated 3 years ago
- Scripting with Least Privilege☆109Updated 8 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆56Updated 9 years ago
- The Pascal-F Verifier☆49Updated 8 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated 2 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- ☆22Updated 8 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- A programming language☆77Updated 12 years ago