Work-in-progress sample code related to Bud
☆69Nov 22, 2016Updated 9 years ago
Alternatives and similar repositories for bud-sandbox
Users that are interested in bud-sandbox are comparing it to the libraries listed below
Sorting:
- Prototype Bud runtime (Bloom Under Development)☆870Sep 1, 2020Updated 5 years ago
- Low-latency Overlog runtime☆18Jun 2, 2015Updated 10 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 17, 2020Updated 5 years ago
- Rich declarative API extensions for Ruby Deferrables.☆56Oct 27, 2011Updated 14 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- ☆13Dec 9, 2022Updated 3 years ago
- The Coil Programming Language☆33Mar 19, 2024Updated last year
- Slides and Examples From "DTrace and Erlang" @ BashoChat 001☆16Dec 15, 2011Updated 14 years ago
- Pokemon might be in your open file....☆15Jul 15, 2016Updated 9 years ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Sep 13, 2022Updated 3 years ago
- Compiler for Swiftlet☆40May 7, 2024Updated last year
- Shaking expression trees until something tasty pops out☆17Oct 30, 2018Updated 7 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Aug 22, 2018Updated 7 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- SC Mini is a "minimal" positive supercompiler☆48Nov 21, 2020Updated 5 years ago
- ☆21Jan 8, 2021Updated 5 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- Examples of projects using sequent☆20May 8, 2025Updated 9 months ago
- A simple Forth-like language intended for DSL creation, implemented in Lua.☆27Sep 7, 2025Updated 5 months ago
- Pads format description language☆21Nov 19, 2015Updated 10 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Nov 6, 2017Updated 8 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Jun 10, 2022Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Oct 25, 2023Updated 2 years ago
- RSA Blind Signature Scheme for golang☆29Sep 25, 2017Updated 8 years ago
- l1c is a simple formally verified compiler for a while language☆56Oct 4, 2020Updated 5 years ago
- ☆167Apr 3, 2013Updated 12 years ago
- Engines, queries, and data for dynamic Datalog computation☆134Aug 4, 2021Updated 4 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Aug 23, 2019Updated 6 years ago
- Tansu distributed key/value and lock store☆22Jun 3, 2016Updated 9 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- A toy school project intended to be an approximate clone of Google's Megastore database for geographically-distributed scalable fault-to…☆35Oct 12, 2011Updated 14 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- manage your DCA strategy on Kraken☆10Apr 14, 2023Updated 2 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- Kanren with databases☆44Jul 30, 2024Updated last year
- Catches and handles exceptions in rack☆26Aug 31, 2010Updated 15 years ago
- CameraCipher Library (an IOCipher project)☆11Jul 14, 2015Updated 10 years ago