mb64 / sel
Sed Lisp -- a lisp interpreter in GNU sed
☆52Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for sel
- A self-hosting mini Haskell compiler with a mini C runtime.☆72Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Your happy place for learning APL☆16Updated last year
- joke page until I decide what to do with this domain name☆34Updated 4 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 4 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆38Updated 6 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆60Updated 3 years ago
- x86 assembler in scheme☆29Updated 5 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆86Updated 4 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 10 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- A relational interpretation of Lojban☆32Updated this week
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- An experimental language server for SomewhatML☆24Updated last year
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last year
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆157Updated 2 years ago
- Apple array system☆54Updated this week
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 7 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- ☆21Updated 4 years ago
- A pure type system implemented in OCaml☆77Updated 3 years ago