Talk to be given at PLMW 2022
☆19Jan 19, 2022Updated 4 years ago
Alternatives and similar repositories for plmw-2022
Users that are interested in plmw-2022 are comparing it to the libraries listed below
Sorting:
- ☆14Dec 2, 2021Updated 4 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Mar 21, 2024Updated last year
- purple: compiling a reflective language☆33Feb 27, 2026Updated last week
- microkanren in sml☆27Feb 26, 2015Updated 11 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- ☆42Aug 14, 2017Updated 8 years ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 8 years ago
- ☆11Mar 13, 2020Updated 5 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- ☆56Apr 25, 2025Updated 10 months ago
- ☆10May 14, 2020Updated 5 years ago
- It's one better☆11Jan 1, 2026Updated 2 months ago
- A time-tracker built for education, fun and eventually profit.☆14Dec 11, 2022Updated 3 years ago
- Examples of programs written in several languages☆11Apr 18, 2023Updated 2 years ago
- First pass at a thin wrapper around the Monarch API and ChatGPT plugin☆12Mar 21, 2025Updated 11 months ago
- easy directory watches in clojure☆11Sep 9, 2019Updated 6 years ago
- ☆12Jun 7, 2024Updated last year
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 2024Updated last year
- Create graphed invoice for Google Cloud Platform. You can see billing amount per GCP project.☆11Feb 28, 2022Updated 4 years ago
- Saltstack AWS creates all the non-server components of a AWS hosted datacenter☆11Aug 23, 2018Updated 7 years ago
- C# experimental WebAssembly/WASI VM to be used for adding modding support to games☆12Nov 5, 2019Updated 6 years ago
- Like autoenv and direnv only better with Bash.☆11Nov 29, 2022Updated 3 years ago
- Gathering some metrics about github projects☆55Feb 27, 2023Updated 3 years ago
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- Fixing annoying password typos during login☆11Jan 21, 2022Updated 4 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- debug path list environment variables☆13Dec 23, 2025Updated 2 months ago
- ☆10Sep 1, 2016Updated 9 years ago
- Quickly generate markdown tables in your terminal using a simplistic specification☆16Oct 2, 2019Updated 6 years ago
- Quicklook plugin for .gradle files☆12Feb 14, 2015Updated 11 years ago
- A gaming library that enables easy 2D game creation within Processing.☆11Jun 19, 2022Updated 3 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- auto-generated tests for Clojure WebApps☆11Sep 26, 2017Updated 8 years ago
- my personal dotfiles and other home stuff vcsh style☆12Sep 30, 2025Updated 5 months ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- PKM + REPL + AI☆12Aug 2, 2024Updated last year