daly / PDFS
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for PDFS
- ☆40Updated last week
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated 9 months ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 12 years ago
- Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface☆17Updated last year
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆31Updated 7 years ago
- Programmable IDE for the Lisp family of languages.☆20Updated 2 months ago
- Easy scripting for DrRacket☆17Updated last week
- The Aldor Programming Language☆33Updated 4 months ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆40Updated 7 years ago
- ☆34Updated this week
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.☆26Updated 2 years ago
- A collection of definitions that extend the algorithmic composition system Opusmodus (http://opusmodus.com/).☆16Updated 6 months ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆50Updated 4 years ago
- IRisk Dashboard for ActivityLog2 -- this has been added to ActivityLog2☆11Updated 5 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆31Updated 2 years ago
- ManKai Common Lisp☆33Updated 5 months ago
- Resilient replicant Shell Programming Library for Common Lisp☆21Updated 3 months ago
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆46Updated 7 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Tiny CLOS for R6RS Scheme☆14Updated 13 years ago
- Gambit Scheme library to interface to Python☆9Updated 5 months ago
- Maxima client☆49Updated 2 years ago
- Tools for the representation of graphs and flowcharts☆18Updated 3 weeks ago
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated 2 years ago
- A C implementation of the Shen programming language☆70Updated 2 years ago
- A simple tool that provides cron like facilities directly inside of common lisp.☆16Updated last year
- a conforming ISLisp processor KISS☆16Updated 5 years ago
- Le-Lisp by INRIA☆28Updated last year
- A logic programming library for Common Lisp.☆58Updated 3 years ago