variations on lisp, exploring reflection
☆12Jun 21, 2025Updated last year
Alternatives and similar repositories for lisp-variations
Users that are interested in lisp-variations are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- Mechanized metatheory of LF in Twelf.☆16Jun 3, 2012Updated 14 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- A collection of utilities to help with pathname operations.☆13May 18, 2026Updated 5 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 4 years ago
- List of languages that were implemented in a dialect of Lisp, to your surprise !☆19Jan 29, 2020Updated 6 years ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Mar 23, 2021Updated 5 years ago
- Course on Metaprogramming☆78Feb 5, 2026Updated 8 months ago
- Portable implementation of quasiquote for Common Lisp☆31Jan 26, 2026Updated 8 months ago
- Experiments on workflow with common lisp☆25Aug 26, 2026Updated last month
- Build system in Common Lisp☆62Jul 28, 2026Updated 2 months ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆20May 22, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Automatic generator for ASDF's .asd files☆18Dec 21, 2018Updated 7 years ago
- A set of tools that make working with the Scala ecosystem even better.☆15Oct 8, 2026Updated last week
- purple: compiling a reflective language☆33Feb 27, 2026Updated 7 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 2 months ago
- Call c from clojure using graalvm -- then compile a binary using native-image!☆20Jun 23, 2020Updated 6 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Access ECB financial data from Clojure — FX conversion, EURIBOR, €STR, HICP, and the full SDMX catalogue☆19Jul 8, 2026Updated 3 months ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lucene with git-like semantics and Clojure integration.☆20Aug 31, 2026Updated last month
- Language mixing functional programming and Ambient Calculus☆13Dec 10, 2024Updated last year
- Run one lexical scope across distributed peers.☆26Sep 3, 2026Updated last month
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Lisp and Reflective Tower in Javascript☆17Jan 4, 2023Updated 3 years ago
- 🐲 Boost your efficiency: Make your computer work for you☆14Oct 18, 2021Updated 5 years ago
- ☆54Sep 28, 2026Updated 3 weeks ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆43Jan 8, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- Harness for developing skill files for Rama, with the goal of one-shotting complex, scalable, and fault-tolerant backends☆21Aug 18, 2026Updated 2 months ago
- Semantic Versions handling in Common Lisp☆15Mar 18, 2023Updated 3 years ago
- Sample code in MMIX assembly language☆14Jan 25, 2022Updated 4 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆12May 29, 2021Updated 5 years ago
- Tools for introspecting the current JVM process in Clojure☆10Aug 4, 2022Updated 4 years ago
- Normalization-by-evaluation in miniKanren☆25Feb 26, 2023Updated 3 years ago