HarvardPL / shillLinks
Scripting with Least Privilege
☆108Updated 8 years ago
Alternatives and similar repositories for shill
Users that are interested in shill are comparing it to the libraries listed below
Sorting:
- Test-driven system administration with a little extra logic.☆387Updated 6 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- 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.☆105Updated 2 weeks ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆66Updated 2 weeks ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 14 years ago
- OCaml implementation of the K 2.0 array programming language☆81Updated 9 years ago
- Studio is an interactive software diagnostics environment☆121Updated 4 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- Noether programming language☆127Updated 8 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Freestanding OCaml runtime☆105Updated 3 months ago
- Getting Widespread OCaml Adoption☆84Updated 7 years ago
- ZeroScript☆82Updated 9 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- A small implementation of type inference☆78Updated 10 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- A modern tool for literate programming