bloom-lang / bud-sandboxView external linksLinks
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)☆871Sep 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
- ☆11Dec 9, 2022Updated 3 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- The Coil Programming Language☆33Mar 19, 2024Updated last year
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- Clojure library for constructing and manipulating sequences of similar structures☆13Apr 19, 2020Updated 5 years ago
- Pokemon might be in your open file....☆15Jul 15, 2016Updated 9 years ago
- Glider Labs app framework and development utility☆16Jul 7, 2017Updated 8 years ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Sep 13, 2022Updated 3 years ago
- Shaking expression trees until something tasty pops out☆17Oct 30, 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
- A simple Forth-like language intended for DSL creation, implemented in Lua.☆27Sep 7, 2025Updated 5 months ago
- Handle UNIX signals in Erlang☆51Nov 8, 2013Updated 12 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Jun 10, 2022Updated 3 years 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
- RSA Blind Signature Scheme for golang☆29Sep 25, 2017Updated 8 years ago
- l1c is a simple formally verified compiler for a while language☆55Oct 4, 2020Updated 5 years ago
- ☆167Apr 3, 2013Updated 12 years ago
- Engines, queries, and data for dynamic Datalog computation☆133Aug 4, 2021Updated 4 years ago
- A library for building language-specific, CodeMirror-friendly editors that are a11y-friendly.☆29Apr 16, 2023Updated 2 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Aug 23, 2019Updated 6 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Feb 3, 2026Updated last week
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- Web framework for creating apps using Go in Google AppEngine☆45Jul 16, 2011Updated 14 years ago
- The control panel for your cloud's memory☆35Jun 24, 2016Updated 9 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- Compiler for the Vale programming language - http://vale.dev/☆34Jun 20, 2024Updated last year
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- Kanren with databases☆44Jul 30, 2024Updated last year