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
- Test-driven system administration with a little extra logic.☆388Updated 6 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 9 years ago
- MLton with Realtime GC and Threading features☆103Updated 11 months ago
- The Mythryl programming language☆117Updated 9 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 years ago
- A prolog-like language with compound truth value logic☆68Updated 6 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- The Pascal-F Verifier☆48Updated 7 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- A small implementation of type inference☆78Updated 9 years ago
- Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…☆77Updated 4 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Freestanding OCaml runtime☆103Updated 2 months ago
- The Kleenex programming language☆55Updated 4 months ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated 6 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 8 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Studio is an interactive software diagnostics environment☆120Updated 4 years ago
- Concurrency and Metaprogramming for JS☆259Updated 7 years ago
- Buildsome: The awesome build system☆53Updated 2 years ago
- Build system☆90Updated 6 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆39Updated 3 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 8 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆80Updated 7 years ago