PL Reading Group Website
☆14Jan 12, 2026Updated last month
Alternatives and similar repositories for plrg
Users that are interested in plrg are comparing it to the libraries listed below
Sorting:
- Semantics for Cryptol☆16Apr 9, 2018Updated 7 years ago
- *Lisp simulator☆28Oct 11, 2013Updated 12 years ago
- A traversal fusion EDSL for Common Lisp☆23Feb 5, 2022Updated 4 years ago
- Eyebrowser Server☆29Oct 6, 2018Updated 7 years ago
- Verified compilation of space-efficient reversible circuits☆23Mar 5, 2019Updated 7 years ago
- FunQy - A high-level hybrid quantum programming language☆33Nov 9, 2020Updated 5 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 6 years ago
- Helps macro writers produce better errors for macro users☆41Nov 12, 2025Updated 3 months ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆32Oct 22, 2024Updated last year
- [ICML 2019] A Robust Meta-Algorithm for Stochastic Optimization☆30Aug 24, 2020Updated 5 years ago
- Lem semantic definition language☆151Mar 13, 2025Updated 11 months ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆40Aug 11, 2021Updated 4 years ago
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Feb 27, 2023Updated 3 years ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated last year
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- Source code for an tutorial☆10Jan 23, 2017Updated 9 years ago
- ☆27Jan 30, 2026Updated last month
- Google Sheet Formulas Markdown in Notepad++☆10Jun 9, 2025Updated 8 months ago
- ☆11Oct 10, 2017Updated 8 years ago
- A collection of useful, free, single-file libraries for C.☆11Oct 15, 2015Updated 10 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- This project contains the original white paper for Language Construct Modeling (LCM) v1.13, authored by Vincent Shing Hin Chong. It intro…☆15Jul 23, 2025Updated 7 months ago
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- Probably Nothing☆12May 23, 2022Updated 3 years ago
- Complements a series at wp.tutsplus.com on Custom Database Tables☆11Dec 6, 2012Updated 13 years ago
- ☆22Jul 25, 2025Updated 7 months ago
- A set of visualization engines.☆14Feb 25, 2026Updated last week
- ☆11Dec 6, 2023Updated 2 years ago
- ☆12Jan 27, 2026Updated last month
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆40May 1, 2016Updated 9 years ago
- 🚀 [ICLR '25] RocketEval: Efficient Automated LLM Evaluation via Grading Checklist☆15Aug 21, 2025Updated 6 months ago
- ShiftLeft Scan is a free and open-source commercial-grade security tool for modern DevOps teams.☆13Dec 30, 2022Updated 3 years ago
- is a set of utility styles for React Native + Clojurescript.☆11Feb 20, 2016Updated 10 years ago
- Yet Another Portable Library for Process Handling / Subshell Invokation☆10Aug 1, 2020Updated 5 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Schema serialization, validation and parsing for Common Lisp.☆14Nov 11, 2025Updated 3 months ago
- An implementation of the Universal RDF Dataset Normalization Algorithm (2015), using the Titanium JSON-LD library☆10Sep 6, 2024Updated last year
- ☆12Aug 2, 2022Updated 3 years ago