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
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- a self-hosting lambda calculus compiler☆35Updated 3 weeks ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- Sokoban (in Coq) [maintainer=@erikmd]☆22Updated 3 months ago
- Common Lisp DSL for building untyped lambda calculus expressions☆25Updated 4 months ago
- XKCD 3062☆22Updated last month
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- racket llvm C-API bindings☆17Updated 4 months ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Haskell User's Gofer System☆25Updated 9 years ago
- #lang for writing C code☆15Updated 7 years ago
- Optional types for Prolog☆16Updated 5 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆10Updated 11 months ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Charity Programming Language☆39Updated 10 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- SML Parser Combinator Library☆28Updated 8 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago