Scripting with Least Privilege
☆110Jun 1, 2017Updated 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-like functions for use from Lua.☆18Mar 23, 2015Updated 10 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- Oleg Kiselyov's sxml/ssax/sxpath/sxslt libraries (racket-specific)☆35Mar 6, 2023Updated 2 years ago
- Generate formatted C++ from Racket S-expressions☆36Nov 18, 2015Updated 10 years ago
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆55Aug 1, 2015Updated 10 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Feb 15, 2019Updated 7 years ago
- Playbooks for automating the setup of FreeBSD on laptops☆15Dec 15, 2023Updated 2 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Mar 11, 2015Updated 10 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆685Nov 21, 2025Updated 3 months ago
- Tools for interacting with Boogie☆55Mar 10, 2025Updated 11 months ago
- Accepted papers for ICFP 2015☆45Mar 4, 2016Updated 9 years ago
- MLton with Realtime GC and Threading features☆103Mar 7, 2024Updated last year
- Kickstart setting up your Pony library project. See USAGE.md for instructions.☆26Sep 2, 2019Updated 6 years ago
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated last year
- Embedding of some of SQL into Racket☆34Mar 24, 2022Updated 3 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 4 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- A LaTeX package for proof carrying papers☆24Dec 8, 2016Updated 9 years ago
- A tool to manage single process containers on FreeBSD using jails and ZFS☆40May 13, 2016Updated 9 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Apr 13, 2020Updated 5 years ago
- Functional data structures for Pony☆44Apr 28, 2017Updated 8 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- SOM - Simple Object Machine☆70Aug 18, 2025Updated 6 months ago
- Shen/Scheme implementation☆131Updated this week
- ☆40May 1, 2016Updated 9 years ago
- Concurrent ML-like concurrency for Guile☆353Jul 18, 2025Updated 7 months ago
- Erlang to Scheme compiler☆39Mar 28, 2012Updated 13 years ago
- A small implementation of type inference☆80May 19, 2015Updated 10 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- CakeML: A Verified Implementation of ML☆1,115Updated this week
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆368May 1, 2021Updated 4 years ago
- 🍨 A tasteful way to organize your Nix code☆34Nov 24, 2025Updated 3 months ago
- Live coding in Reveal.js☆17Aug 9, 2016Updated 9 years ago
- A Go Wrapper for JQ☆12Nov 1, 2019Updated 6 years ago