mb64 / sel
Sed Lisp -- a lisp interpreter in GNU sed
☆53Updated 4 years ago
Alternatives and similar repositories for sel:
Users that are interested in sel are comparing it to the libraries listed below
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- racket llvm C-API bindings☆17Updated 3 months ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆25Updated 4 months ago
- #lang for writing C code☆15Updated 7 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated last year
- My Own Linear Lisp☆40Updated 6 years ago
- A Racket refactoring engine☆63Updated 3 weeks ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- A collection of programming languages and type systems.☆33Updated 7 months ago
- Optional types for Prolog☆16Updated 5 years ago
- A relational interpretation of Lojban☆33Updated 2 months ago
- a self-hosting lambda calculus compiler☆35Updated this week
- Sokoban (in Coq) [maintainer=@erikmd]☆21Updated 3 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 9 months ago
- Experiment on how to bootstrap the OCaml compiler☆104Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated last month
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 7 months ago
- Lambda Calculus compiler targeting x86, written in Racket☆10Updated 4 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- An Emacs major mode to edit and run SMTLIB v2 files☆9Updated 9 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Standard ML autoformatter☆15Updated 3 years ago