HarvardPL / shill
Scripting with Least Privilege
☆108Updated 7 years ago
Alternatives and similar repositories for shill
Users that are interested in shill are comparing it to the libraries listed below
Sorting:
- MLton with Realtime GC and Threading features☆103Updated last year
- APL compiler written in Standard ML☆35Updated 4 years ago
- Test-driven system administration with a little extra logic.☆387Updated 6 years ago
- Studio is an interactive software diagnostics environment☆120Updated 4 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- The Mythryl programming language☆117Updated 9 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆104Updated 6 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 3 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- A prolog-like language with compound truth value logic☆68Updated 7 years ago
- A small implementation of type inference☆78Updated 10 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Freestanding OCaml runtime☆105Updated 2 months ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- CLI to concurrently compress, decompress using Brotli algorithm☆39Updated 5 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- ☆23Updated 9 years ago
- ZeroScript☆83Updated 9 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- OCaml implementation of the K 2.0 array programming language☆81Updated 9 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- Linux kernel with Capsicum support☆206Updated 4 years ago
- sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp☆215Updated last year
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆55Updated 9 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago