oils-for-unix / blog-code
Code for http://oilshell.org/blog/
☆49Updated this week
Alternatives and similar repositories for blog-code:
Users that are interested in blog-code are comparing it to the libraries listed below
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆102Updated 4 months ago
- Examples of literate programming by Knuth☆36Updated 7 months ago
- A minimalist type-inferred programming language with procedural macro support☆135Updated 4 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆85Updated 6 years ago
- The Pascal-F Verifier☆48Updated 7 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆117Updated last year
- Reproducing resuts from old papers on modern filesystems☆22Updated 7 years ago
- Doug McIlroy's C++ regular expression matching library☆95Updated 6 years ago
- Hash-based Diffing for AST's☆76Updated 4 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- A PEG that compiles itself.☆74Updated 14 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…☆89Updated last year
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- Scripting with Least Privilege☆108Updated 7 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 3 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆53Updated 4 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Enable piping of internal command output to external commands☆71Updated 6 years ago
- A virtual machine for Monte.☆66Updated 9 months ago
- A Typed, Composable Database Query Language☆104Updated 3 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- LVC verified compiler☆57Updated 6 years ago
- Very small examples of TLA+ features.☆43Updated 5 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 4 years ago
- A simple program reducer for any language.☆73Updated last year
- Clone of wc in x64 assembly☆92Updated 8 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Organize remote meetings for reading computer science papers☆33Updated 4 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago