oils-for-unix / blog-codeLinks
Code for http://oilshell.org/blog/
☆50Updated last week
Alternatives and similar repositories for blog-code
Users that are interested in blog-code are comparing it to the libraries listed below
Sorting:
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 11 months ago
- Scripting with Least Privilege☆109Updated 8 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- Editor for language composition☆58Updated 2 years ago
- How to implement trampolines for tail calls in Python☆31Updated 11 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Continuation Passing C☆113Updated 6 years ago
- Grammar Zoo☆92Updated 6 years ago
- Intuitionistic Programming Language☆12Updated 11 years ago
- Examples of literate programming by Knuth☆37Updated 2 months ago
- The Definition of Standard ML (1990)☆123Updated 10 years ago
- My reading list☆83Updated 3 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- Tool to count lines of source code.☆252Updated last year
- Brainfuck with Actors☆36Updated 6 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆123Updated 12 years ago
- Convert/mirror darcs repos into git repos☆99Updated 9 months ago
- ♥ Janusz Brzozowski☆163Updated last year
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- pacc: a compiler-compiler☆37Updated 9 years ago
- A static parser for POSIX Shell☆194Updated last year
- Noether programming language☆127Updated 8 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- Parse any language you can describe in BNF☆160Updated last year
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago