nikomatsakis / plmw-2022View external linksLinks
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☆16Jun 6, 2025Updated 8 months ago
- generative programming & verification☆34Jun 19, 2025Updated 7 months ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- An Introduction to Redex with Abstracting Abstract Machines☆104Mar 21, 2024Updated last year
- microkanren in sml☆27Feb 26, 2015Updated 10 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 8 years ago
- ☆42Aug 14, 2017Updated 8 years ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆27Nov 28, 2025Updated 2 months ago
- ☆56Apr 25, 2025Updated 9 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Browser UI for REPtiLe - a shared REPL☆13May 14, 2019Updated 6 years ago
- ☆10Sep 1, 2016Updated 9 years ago
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 2024Updated last year
- Envv is a shell-independent way of handling environment variables. (not mine)☆16Jan 16, 2024Updated 2 years ago
- ☆10Jun 23, 2017Updated 8 years ago
- Saltstack AWS creates all the non-server components of a AWS hosted datacenter☆11Aug 23, 2018Updated 7 years ago
- auto-generated tests for Clojure WebApps☆11Sep 26, 2017Updated 8 years ago
- Examples of programs written in several languages☆11Apr 18, 2023Updated 2 years ago
- Hope this could be helpful when you're struggling with finding a suitable PhD/postDoc position.☆10Aug 14, 2023Updated 2 years ago
- Like autoenv and direnv only better with Bash.☆11Nov 29, 2022Updated 3 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- JS/TS SDK for handling (extensible) events in Matrix☆10Jan 13, 2023Updated 3 years ago
- GNU Guix is a purely functional package manager for the GNU system, and a distribution thereof.☆12Oct 21, 2014Updated 11 years ago
- Parallel Bytecode Interpreter For Heterogeneous Hardware☆14Aug 27, 2021Updated 4 years ago
- easy directory watches in clojure☆11Sep 9, 2019Updated 6 years ago
- Create graphed invoice for Google Cloud Platform. You can see billing amount per GCP project.☆11Feb 28, 2022Updated 3 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- PKM + REPL + AI☆12Aug 2, 2024Updated last year
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- RFCs for changes to DevTools☆15Nov 15, 2019Updated 6 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- An Emacs major mode for managing launchd jobs☆14Jun 11, 2021Updated 4 years ago
- debug path list environment variables☆13Dec 23, 2025Updated last month
- Print the uncompressed size of a GZip file.☆14Sep 16, 2019Updated 6 years ago
- my personal dotfiles and other home stuff vcsh style☆12Sep 30, 2025Updated 4 months ago
- Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check☆10Jul 19, 2019Updated 6 years ago
- A time-tracker built for education, fun and eventually profit.☆14Dec 11, 2022Updated 3 years ago