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:
- APL compiler written in Standard ML☆35Updated 4 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 2 weeks ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Test-driven system administration with a little extra logic.☆387Updated 6 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆69Updated 14 years ago
- Getting Widespread OCaml Adoption☆84Updated 7 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- Freestanding OCaml runtime☆105Updated 3 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
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…☆78Updated 4 years ago
- Build system☆90Updated 6 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- The Mythryl programming language☆117Updated 9 years ago
- A prolog-like language with compound truth value logic☆68Updated 7 years ago
- Demonstration NATting unikernel.☆29Updated 8 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
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆81Updated 8 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- minimal lisp that compiles to x86☆10Updated 8 years ago
- Noether programming language☆127Updated 8 years ago
- OCaml implementation of the K 2.0 array programming language☆81Updated 9 years ago
- syn·di·cate: a language for interactive programs☆158Updated 3 months ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- CLI to concurrently compress, decompress using Brotli algorithm☆39Updated 5 years ago
- An in-memory datalog implementation for OCaml.☆270Updated 8 months ago