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
Sorting:
- A transactional programming language.β34Updated 6 years ago
- Very incomplete Scheme interpreter, written in Rustβ23Updated 8 years ago
- β10Updated 3 years ago
- Chart parser (Earley SPPF)β27Updated 6 years ago
- Classroom demonstration of costly state verification in financeβ16Updated 10 years ago
- Purely functional statically typed Lisp which compiles to JavaScriptβ46Updated 7 years ago
- APL compiler written in Standard MLβ35Updated 4 years ago
- exploratory programming for an object system in common lispβ14Updated 9 years ago
- A DSL/LISP dialect written in Haskellβ21Updated 6 years ago
- Iterated Function Systems fractals with OCaml.β35Updated 3 years ago
- β52Updated 8 years ago
- A Lisp made for easy integration with Rust.β9Updated 9 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)β36Updated 14 years ago
- CHIP-8 virtual machine implementation in the Rust programming languageβ13Updated 9 years ago
- Evan programming language, a functional-style, general purpose programming language which nestles comfortably in the JavaScript-world, coβ¦β7Updated 7 years ago
- Bill's Utilities for Gambit Schemeβ17Updated 4 years ago
- A compiler from Forth to Scratchβ22Updated 8 years ago
- Sild is a lisp dialectβ43Updated 5 months ago
- Propositional calculus in Haskellβ11Updated 8 years ago
- A Java JIT compiler written in Haskellβ72Updated 11 years ago
- Java dialect using S-expressionsβ31Updated 6 years ago
- Proof that Haskell can look and act like an imperative language.β74Updated 12 years ago
- A proof assistant.β12Updated 9 years ago
- A lazy non-deterministic concatenative programming languageβ55Updated 11 years ago
- A functional systems programming language with compile-time memory managementβ31Updated 3 years ago
- Notes on P-omegaβ14Updated 7 years ago
- SchrΓΆdinger's Tclβ30Updated 10 years ago
- Formal semantics of LLVM IR in Kβ44Updated 9 years ago
- Simple demo of noise-rs and rustboxβ22Updated 6 years ago
- Cell language C++ runtimeβ18Updated 4 years ago