daly / PDFS
☆14Updated last year
Alternatives and similar repositories for PDFS:
Users that are interested in PDFS are comparing it to the libraries listed below
- ☆40Updated 2 months ago
- The Aldor Programming Language☆34Updated this week
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated 11 months ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 10 months ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Updated 3 years ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 13 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 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
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆41Updated 8 years ago
- Emacs major mode for Dyalog APL☆15Updated last year
- Easy scripting for DrRacket☆18Updated 2 months ago
- ☆25Updated last year
- Livin' like it's 1813 (or 1988).☆31Updated 10 months ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated this week
- Maxima client☆50Updated 2 years ago
- Programmable IDE for the Lisp family of languages.☆20Updated 4 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 10 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- ☆34Updated last month
- Scheme to Common Lisp☆14Updated last year
- An Inference Engine based on Propositional Calculus written in Common Lisp☆40Updated this week
- ANNSER is A Neural Network Simulator for Education and Research.☆10Updated 8 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 3 years ago
- SLAYER ported to Racket☆20Updated 5 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆10Updated 4 years ago
- Forth emulator, as a Racket #lang☆21Updated last year
- Guile numerical arrays and tensor extension☆54Updated last month
- A column-oriented, dataframe implementation for Racket.☆17Updated 4 months ago