LearnPrologNow / lpn-swish-proxyLinks
SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now
☆13Updated last year
Alternatives and similar repositories for lpn-swish-proxy
Users that are interested in lpn-swish-proxy are comparing it to the libraries listed below
Sorting:
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Updated 15 years ago
- My personal Racket library of useful or generic commands☆11Updated 11 months ago
- Some useful shortcuts for DrRacket☆80Updated 5 years ago
- 2d syntax☆20Updated 2 months ago
- ☆39Updated 2 weeks ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated last week
- A data frame implementation for Racket☆38Updated 3 months ago
- ☆19Updated last month
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Updated 7 years ago
- Use Python from Racket☆36Updated 2 months ago
- ☆27Updated 2 years ago
- Emacs Does Interactive Prolog☆45Updated last year
- SWI-Prolog web server sources for www.swi-prolog.org☆19Updated 2 months ago
- Canonical miniKanren implementation in Racket☆87Updated 4 years ago
- Web Framework for SWI-Prolog☆43Updated 10 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 3 months ago
- A frontend for the Racket Package Catalog.☆13Updated this week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Updated 5 years ago
- Emacs major mode for editing J code.☆49Updated 4 months ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 4 years ago
- Online playground from RacketScript☆19Updated last year
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 12 years ago
- All code examples from "The Little Prover" book☆23Updated 10 years ago
- Library to enable using graphviz in Racket programs☆25Updated 4 years ago
- Use Travis CI with Racket☆43Updated 4 years ago
- Threading macros for Racket☆54Updated last year
- racket-cheat - a cheat sheet for Racket☆37Updated 2 months ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆43Updated 9 years ago