ramadis / slang
📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
☆16Updated 8 years ago
Alternatives and similar repositories for slang:
Users that are interested in slang are comparing it to the libraries listed below
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- A programming language☆77Updated 11 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A Lisp made for easy integration with Rust.☆9Updated 9 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- ☆52Updated 8 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- ☆14Updated 4 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Alice ML implementation☆17Updated 2 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- The Spire Programming Language☆59Updated 10 years ago
- A pure Haskell implementation of Plan9's mk☆16Updated 9 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- Know your algorithms cold!☆29Updated 9 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- Simple demo of noise-rs and rustbox☆22Updated 6 years ago
- it's a guitar jammer☆18Updated 9 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- Notes on P-omega☆14Updated 7 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 9 years ago