source code for the bondi programming language
☆45Feb 17, 2019Updated 7 years ago
Alternatives and similar repositories for bondi
Users that are interested in bondi are comparing it to the libraries listed below
Sorting:
- translations of a lambda abstraction to combinations of operators☆18Sep 6, 2019Updated 6 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 5 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 6 years ago
- Master thesis on developing a static type checker for Erlang☆27Sep 30, 2018Updated 7 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 3 months ago
- Phylogenetic Application written in OCaml and C☆19Jan 29, 2020Updated 6 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- TinyBasic implementation in Racket (WIP)☆13Apr 25, 2025Updated 10 months ago
- ☆13Dec 9, 2022Updated 3 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆28Feb 14, 2021Updated 5 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- 🎞 Animate from one string to another.☆12Apr 30, 2022Updated 3 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- A Kafka client for Racket.☆18Aug 4, 2025Updated 7 months ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- lisp for bears☆13Jun 26, 2023Updated 2 years ago
- Workflows written in common workflow language (CWL)☆14Dec 15, 2018Updated 7 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Feb 2, 2026Updated last month
- Modernized Sisal Interpreter☆29Nov 9, 2018Updated 7 years ago
- Hash Array Mapped Tries for Racket☆21Jan 30, 2017Updated 9 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆30Sep 4, 2017Updated 8 years ago
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆13May 19, 2017Updated 8 years ago
- Explore and analyze biological sequence data☆17Aug 1, 2024Updated last year
- Quickcheck Clone implemented in Racket☆31Jul 30, 2024Updated last year
- WebAssembly version of Plorth programming language☆16Dec 20, 2017Updated 8 years ago
- prompt library for calculus resources☆15Sep 1, 2023Updated 2 years ago
- A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.☆17Sep 23, 2012Updated 13 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆71Jan 2, 2011Updated 15 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated last month
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- A property-based testing library for Racket.☆34Apr 26, 2024Updated last year