ColemanGariety / derivation-machineLinks
Propositional calculus in Haskell
☆11Updated 9 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:
- APL compiler written in Standard ML☆35Updated 4 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- ☆52Updated 8 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 5 years ago
- A small demo lambda-language written in Python☆32Updated 7 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☆32Updated 2 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- experimental computational medium and supporting tools☆23Updated this week
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- High-end Cryptographic Library☆44Updated 6 years ago
- ☆23Updated 8 years ago
- A programming language☆77Updated 12 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 10 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 3 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Updated 8 years ago
- From function composition to distributed programming☆66Updated last year
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- The MLtonLibrary repository☆35Updated 2 years ago
- Manipulating racket bytecode☆26Updated 4 years ago
- A "port" of plucid that works on OS X☆12Updated 11 years ago
- Algebraic structures for untyped Racket☆78Updated last year