oils-for-unix / blog-codeLinks
Code for http://oilshell.org/blog/
☆50Updated 5 months 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.☆107Updated last year
- Scripting with Least Privilege☆110Updated 8 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- A simple program reducer for any language.☆77Updated 2 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆125Updated 2 years ago
- ☆43Updated 9 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- A static parser for POSIX Shell☆200Updated 2 years ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆244Updated 3 weeks ago
- Editor for language composition☆58Updated 3 years ago
- My reading list☆85Updated 3 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Examples of literate programming by Knuth☆40Updated 7 months ago
- Grammar Zoo☆98Updated 7 years ago
- How to implement trampolines for tail calls in Python☆32Updated 11 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- A virtual machine for Monte.☆68Updated 3 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98Updated 10 years ago
- Command line editor, C api, readline replacement☆28Updated last year
- Noether programming language☆130Updated 8 years ago
- pacc: a compiler-compiler☆37Updated 9 years ago
- High fidelity benchmark runner☆91Updated 4 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…☆47Updated last year
- Tools for experimenting diff "slider" heuristics☆55Updated 9 years ago
- Continuation Passing C☆114Updated 6 years ago
- Tool to count lines of source code.☆254Updated 2 years ago
- ♥ Janusz Brzozowski☆161Updated last year
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago