LearnPrologNow / lpn-swish-proxyLinks
SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now
☆12Updated 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:
- CHR: Leuven Constraint Handling Rules☆26Updated this week
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆52Updated 15 years ago
- My personal Racket library of useful or generic commands☆11Updated 5 months ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- Access Chez Scheme documentation from the REPL☆29Updated 2 months ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated 4 months ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- ☆25Updated 2 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19Updated this week
- The SWI-Prolog HTTP server and client libraries☆26Updated this week
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 3 years ago
- An environment variable manager for Racket applications☆17Updated 2 years ago
- Emacs Does Interactive Prolog☆41Updated 9 months ago
- Mocking library for Racket☆22Updated 4 years ago
- ☆17Updated 2 months ago
- ☆38Updated 2 months ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- Use Travis CI with Racket☆42Updated 4 years ago
- Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.☆80Updated 2 years ago
- Functional interfaces and datatypes for Racket☆43Updated 4 years ago
- Online playground from RacketScript☆19Updated last year
- A Racket refactoring engine☆64Updated this week
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 9 months ago
- Embedding of some of SQL into Racket☆34Updated 3 years ago
- A data frame implementation for Racket☆37Updated last year
- racket-cheat - a cheat sheet for Racket☆36Updated 2 months ago