Scripting with Least Privilege
☆113Jun 1, 2017Updated 9 years ago
Alternatives and similar repositories for shill
Users that are interested in shill are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 11 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 5 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- Collapsing Towers of Interpreters (in Scheme)☆62Aug 22, 2018Updated 8 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SML Parser Combinator Library☆28Apr 30, 2016Updated 10 years ago
- Typed Racket data structure libraries☆61Nov 5, 2021Updated 4 years ago
- StenoFW is a firmware for StenoBoard keyboards.☆19Sep 10, 2016Updated 10 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Feb 15, 2019Updated 7 years ago
- An evaluator with an expander.☆20Nov 30, 2015Updated 10 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆23Feb 4, 2022Updated 4 years ago
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- Terminal emulator in racket☆42Oct 14, 2023Updated 3 years ago
- Generate formatted C++ from Racket S-expressions☆36Nov 18, 2015Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Extended OpenGL bindings for Racket☆49Mar 12, 2019Updated 7 years ago
- The Moby Scheme Compiler for Smartphones☆53Jun 11, 2012Updated 14 years ago
- Oleg Kiselyov's sxml/ssax/sxpath/sxslt libraries (racket-specific)☆35Mar 6, 2023Updated 3 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆324May 1, 2021Updated 5 years ago
- precision Lisp editing with Evil and Lispy☆11Apr 9, 2016Updated 10 years ago
- Quickcheck Clone implemented in Racket☆31Jul 30, 2024Updated 2 years ago
- ☆40May 1, 2016Updated 10 years ago
- ☆19Oct 18, 2026Updated last week
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Oct 20, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- C code with macros in Racket☆10Dec 19, 2015Updated 10 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆105Mar 21, 2024Updated 2 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- remix - a revised version of Racket☆33Dec 2, 2022Updated 3 years ago
- Scripts for Racket developers☆25Mar 2, 2021Updated 5 years ago
- A Lisp with row polymorphism, delimited continuations, and hygienic macros. [vaporware]☆56Mar 7, 2013Updated 13 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- SOM - Simple Object Machine☆77Oct 18, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago
- A small implementation of type inference☆80May 19, 2015Updated 11 years ago
- ☆29Jul 1, 2015Updated 11 years ago
- Functional data structures for Pony☆43Apr 28, 2017Updated 9 years ago
- Accepted papers for ICFP 2015☆46Mar 4, 2016Updated 10 years ago
- ☆15Jan 31, 2021Updated 5 years ago
- An x86 machine-code toolkit☆16Apr 11, 2017Updated 9 years ago