oils-for-unix / blog-codeLinks
Code for http://oilshell.org/blog/
☆50Updated 3 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.☆106Updated last year
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- A virtual machine for Monte.☆68Updated last month
- pacc: a compiler-compiler☆37Updated 9 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆56Updated 9 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- My reading list☆84Updated 3 years ago
- Editor for language composition☆58Updated 2 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆88Updated 2 years ago
- The Pascal-F Verifier☆50Updated 8 years ago
- A PEG that compiles itself.☆76Updated 15 years ago
- Examples of literate programming by Knuth☆39Updated 5 months ago
- Brainfuck with Actors☆36Updated 6 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆100Updated 8 years ago
- Intuitionistic Programming Language☆12Updated 11 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- How to implement trampolines for tail calls in Python☆31Updated 11 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆124Updated 2 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- A modular shell☆17Updated 10 years ago
- Colors a piece of code word-by-word and shows it in a browser☆39Updated 6 years ago
- quick c☆35Updated 3 years ago
- A simple program reducer for any language.☆76Updated 2 years ago