namin / 3-proto-lispView external linksLinks
Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
☆14Jun 21, 2021Updated 4 years ago
Alternatives and similar repositories for 3-proto-lisp
Users that are interested in 3-proto-lisp are comparing it to the libraries listed below
Sorting:
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated 8 months ago
- exploration of reflective architectures in Scheme☆20May 20, 2022Updated 3 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 8 months ago
- Common Lisp bytecode compiler☆14Nov 17, 2025Updated 2 months ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 10 years ago
- A library for reading, writing, and representing structures from binary storage☆19Aug 13, 2025Updated 6 months ago
- Tiny Object Run Time☆24May 24, 2015Updated 10 years ago
- A Common Lisp toolkit to construct interface-aware yet standard-compliant debugger hooks.☆12Jan 2, 2025Updated last year
- ☆26Apr 3, 2023Updated 2 years ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆15Feb 27, 2025Updated 11 months ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆43Sep 20, 2009Updated 16 years ago
- A compatibility layer for Gray streams including extensions☆14Nov 24, 2025Updated 2 months ago
- ☆15Feb 7, 2025Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Persistent data structures in Common Lisp☆18Apr 26, 2023Updated 2 years ago
- Common Lisp VM prototype☆12Oct 7, 2023Updated 2 years ago
- Common Lisp interface to Non-linear Optimization Library (NLOpt)☆14Mar 30, 2022Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆18Nov 1, 2023Updated 2 years ago
- An easily forkable commonplace book of interesting, VERY well-annoted code in any language. Take it and add your own.☆41Jan 28, 2014Updated 12 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24May 28, 2025Updated 8 months ago
- Utilities for interacting with the filesystem☆16Aug 13, 2025Updated 6 months ago
- A library for portable framebuffer access☆18Aug 13, 2025Updated 6 months ago
- General-purpose keymap management à-la Emacs☆15Jan 27, 2025Updated last year
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Feb 15, 2019Updated 7 years ago
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi …☆100Oct 1, 2025Updated 4 months ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago
- ghci with autocomplete, calltips, colors with type information, variable inspector, and more.☆21Dec 24, 2011Updated 14 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Aug 11, 2021Updated 4 years ago
- A Common Lisp library for handling Web API requests and responses.☆36Jan 17, 2024Updated 2 years ago
- explorations in core.logic☆118Jun 14, 2024Updated last year
- generalized specializers work☆17Dec 5, 2017Updated 8 years ago
- Common Lisp introspection library for the call stack and restarts☆46Aug 13, 2025Updated 6 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 17, 2020Updated 5 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- ImageMagick bindings (fork)☆21Dec 6, 2025Updated 2 months ago
- Bibliography of Scheme-related Research☆15Apr 11, 2019Updated 6 years ago
- Pinocchio VM☆21Oct 1, 2020Updated 5 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆20Mar 24, 2022Updated 3 years ago