common lisp book and resources
☆29Nov 24, 2017Updated 8 years ago
Alternatives and similar repositories for Common-Lisp-Resources
Users that are interested in Common-Lisp-Resources are comparing it to the libraries listed below
Sorting:
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- Clojure full-stack demo☆14Mar 30, 2023Updated 2 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆22Nov 24, 2025Updated 3 months ago
- adqc - A version of C with verification and resource bounds☆23Oct 4, 2021Updated 4 years ago
- A discrete, colored Petri Net DSL and executor☆17Aug 9, 2022Updated 3 years ago
- S-expression pretty-printer☆22Jan 15, 2026Updated last month
- An implementation of Scheme R7RS-small in 48 working hours.☆20Mar 13, 2020Updated 5 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- Beancount plugin to generate periodic transactions #Amortize #Depreciate #Recur☆45Aug 20, 2025Updated 6 months ago
- ☆11Oct 25, 2024Updated last year
- ☆11Apr 28, 2023Updated 2 years ago
- Sends Sentry notifications to Mattermost Open Source Chat☆10Jan 10, 2023Updated 3 years ago
- A Clojure Memcached client (also: Couchbase, Kestrel). Built on top of SpyMemcached, supports ASCII and binary protocols, strives to be 1…☆67Oct 10, 2018Updated 7 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆11Sep 19, 2019Updated 6 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Download raw data from the Fatality Analysis Reporting System and prepare it for research.☆11Dec 17, 2025Updated 2 months ago
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆43Mar 27, 2025Updated 11 months ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆76May 5, 2022Updated 3 years ago
- VSCode plugin for Standard ML☆40Mar 8, 2024Updated 2 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- TinyBasic implementation in Racket (WIP)☆13Apr 25, 2025Updated 10 months ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 9 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 3 months ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Simple forth environment written in 2002☆11Dec 17, 2015Updated 10 years ago
- Slicing git repositories.☆22May 21, 2018Updated 7 years ago
- ☆13Jan 7, 2026Updated 2 months ago