daly / PDFS
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for PDFS
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated 9 months ago
- ☆40Updated 2 weeks ago
- Your happy place for learning APL☆16Updated last year
- ☆18Updated 6 years ago
- ☆34Updated last week
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- Programmable IDE for the Lisp family of languages.☆20Updated 2 months ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A Lexical Analyzer Generator☆60Updated 9 months ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆50Updated 4 years ago
- Livin' like it's 1813 (or 1988).☆30Updated 8 months ago
- Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface☆17Updated last year
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 10 years ago
- A collection of definitions that extend the algorithmic composition system Opusmodus (http://opusmodus.com/).☆16Updated 7 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆15Updated 6 years ago
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆47Updated 7 years ago
- Easy scripting for DrRacket☆17Updated this week
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 3 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 8 months ago
- The Aldor Programming Language☆33Updated 4 months ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆40Updated 7 years ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 12 years ago
- ☆27Updated 6 years ago
- Le-Lisp by INRIA☆28Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.☆26Updated 2 years ago
- SLAYER ported to Racket☆19Updated 5 years ago
- A logic programming library for Common Lisp.