oils-for-unix / blog-codeLinks
Code for http://oilshell.org/blog/
☆50Updated last month
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 10 months 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…☆89Updated 2 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Editor for language composition☆58Updated 2 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- Scripting with Least Privilege☆109Updated 8 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- My reading list☆83Updated 3 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆56Updated 8 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- A static parser for POSIX Shell☆194Updated last year
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Bootstrap compiler☆44Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- A simple program reducer for any language.☆74Updated 2 years ago
- A virtual machine for Monte.☆69Updated last year
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Programming Language Explorations☆94Updated this week
- 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
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- bisection algorithm which works on intermittent bugs☆48Updated last year
- ☆18Updated 5 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- High fidelity benchmark runner☆89Updated 3 years ago
- A modular shell☆17Updated 10 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- concatenative array language inspired by kdb/+q☆92Updated 3 years ago
- The Pascal-F Verifier☆49Updated 8 years ago
- Examples of literate programming by Knuth☆37Updated 3 weeks ago