Repository for (for now) filing bug reports about PLAI.
☆17Jul 5, 2025Updated last year
Alternatives and similar repositories for plai-public
Users that are interested in plai-public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for (for now) filing bug reports about DCIC.☆30Aug 21, 2025Updated last year
- A collection of awesome Coalton libraries, tutorials, examples, and applications.☆13Apr 30, 2026Updated 6 months ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆13Jan 20, 2023Updated 3 years ago
- This installation helper makes it even easier to install a copy of the CLHS locally. (ql:quickload "clhs").☆13May 11, 2025Updated last year
- Portable Common Lisp IDE for Windows (Emacs + SBCL + SLIME)☆15Oct 4, 2026Updated last month
- 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.
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- Framework and scripts that build the website from content files in github.com/Raku/doc☆11Oct 31, 2026Updated last week
- XKCD 3062☆23Mar 13, 2025Updated last year
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated 8 months ago
- Moonli is a Julia/Python-ish syntax layer that transpiles to Common Lisp☆21Oct 17, 2026Updated 2 weeks ago
- Implementation of refactoring for cuis☆12Oct 29, 2026Updated last week
- Exercism exercises in Racket.☆46Updated this week
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- A no-frills Racket macro library to extend ffi/unsafe with C++ compatibility.☆10Feb 5, 2020Updated 6 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.
- ☆15Oct 18, 2026Updated 2 weeks ago
- ☆75Oct 19, 2026Updated 2 weeks ago
- Useful things for Standard ML☆74Oct 9, 2024Updated 2 years ago
- Fetch, flag/mark, delete/expire, and perform other batch operations on messages residing on IMAP servers. A very fast KISS mail fetcher w…☆15Oct 9, 2025Updated last year
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 10 years ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 6 years ago
- This is the source of the seL4 docs.☆19Updated this week
- Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/☆12Jul 8, 2025Updated last year
- QuickCheck-like property based automated testing tool for C++☆14Feb 18, 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.
- a Racket formatter that only fixes whitespaces☆12Jun 6, 2026Updated 5 months ago
- ☆13Jun 23, 2026Updated 4 months ago
- ☆11Apr 19, 2019Updated 7 years ago
- Exploring Automatic Differentiation with Racket☆11Jan 9, 2022Updated 4 years ago
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆16Aug 28, 2023Updated 3 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 4 years ago
- Embed Python in Racket!☆12Feb 1, 2022Updated 4 years ago
- A collection of useful procedures divided into modules for Racket.☆12Oct 20, 2023Updated 3 years ago
- My Suckless Build Using dwm + dwmblocks + st + xcompmgr aka. my "moderately" patched Suckless Tools☆12Feb 4, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multi…☆20Jul 26, 2026Updated 3 months ago
- Vim style editor written in Racket☆14May 31, 2020Updated 6 years ago
- Import SRFI metadata into the Scheme API☆11Aug 9, 2026Updated 2 months ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- An online playground for Racket.☆13May 11, 2021Updated 5 years ago
- The Oberon+ Programming Language☆19Jan 29, 2024Updated 2 years ago