oils-for-unix / blog-codeLinks
Code for http://oilshell.org/blog/
☆50Updated 2 weeks ago
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.☆104Updated 9 months ago
- ☆11Updated 3 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Minimal implementation of UNIX seq command in x86_64 assembly.☆40Updated 8 years ago
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆43Updated 5 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Doug McIlroy's C++ regular expression matching library☆95Updated 6 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- Examples of literate programming by Knuth☆37Updated last year
- shok command shell☆144Updated 9 years ago
- A simple program reducer for any language.☆74Updated 2 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- A lambda calculus interpreter. GET IT?☆81Updated 3 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆55Updated 8 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆122Updated 12 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆81Updated 8 years ago
- quick c☆35Updated 3 years ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆98Updated 7 years ago
- bisection algorithm which works on intermittent bugs☆48Updated last year
- My reading list☆83Updated 3 years ago
- ☆42Updated 9 years ago
- A virtual machine for Monte.☆69Updated last year
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 7 months ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- ☆83Updated 3 years ago