larsyencken / marelle
Test-driven system administration with a little extra logic.
☆387Updated 5 years ago
Related projects: ⓘ
- Fork of Don Stewarts h4sh haskell shell scripts☆67Updated 14 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Scripting with Least Privilege☆106Updated 7 years ago
- The Mythryl programming language☆116Updated 8 years ago
- Kenichi Asai's reflective programming language Black☆195Updated 2 years ago
- ☆158Updated this week
- APL compiler written in Standard ML☆35Updated 3 years ago
- A Haskell implementation of the Shen programming language.☆162Updated 6 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆99Updated 8 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- A neatly typeset version of John McCarthy's classic paper☆119Updated 9 months ago
- Library and Toolkit for Standard ML☆144Updated last year
- Implementations of µKanren in assorted languages☆60Updated 8 years ago
- 🐣 A blog engine written and proven in Coq☆177Updated 4 years ago
- A modern tool for literate programming☆272Updated 7 years ago
- A bare-bones academic wiki with LaTeX and (multi)markdown support☆70Updated 9 years ago
- Constraint programming language embedded in Racket☆152Updated 3 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated last year
- syn·di·cate: a language for interactive programs☆152Updated 2 months ago
- MIT Scheme environment for the browser☆59Updated 6 years ago
- Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…☆67Updated last year
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆179Updated 6 years ago
- Whalesong: Racket to JavaScript compiler☆250Updated 7 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆270Updated 11 years ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆236Updated last year
- General Parser Combinators in Racket☆196Updated 8 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- MLton with Realtime GC and Threading features☆102Updated 6 months ago
- the Art of the Propagator☆50Updated 11 years ago
- ☆204Updated 6 years ago