SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now
☆13Mar 5, 2024Updated 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:
- SWI-Prolog web server sources for www.swi-prolog.org☆19Feb 18, 2026Updated last week
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 5 months ago
- Pengines: Prolog engines☆12Feb 22, 2026Updated last week
- The graphics toolkit for SWI-Prolog☆19Updated this week
- Web Framework for SWI-Prolog☆43Dec 23, 2015Updated 10 years ago
- Learn Prolog Now LaTeX sources☆101Oct 23, 2022Updated 3 years ago
- CHR: Leuven Constraint Handling Rules☆26Feb 22, 2026Updated last week
- The Moby Scheme Compiler for Smartphones☆53Jun 11, 2012Updated 13 years ago
- A node.js interface to the SWI-Prolog library.☆30Nov 8, 2021Updated 4 years ago
- The SWI-Prolog HTTP server and client libraries☆27Feb 22, 2026Updated last week
- Text templating processor for SWI-Prolog.☆32Mar 14, 2020Updated 5 years ago
- The SWI-Prolog RDF store☆33Feb 22, 2026Updated last week
- A tutorial for DCG's in swi-Prolog☆35Feb 8, 2021Updated 5 years ago
- Simple example for chars74k image recognition with a ConvNet and RandomForestClassifier.☆12May 5, 2017Updated 8 years ago
- My personal site.☆10Feb 23, 2026Updated last week
- ☆10Nov 14, 2018Updated 7 years ago
- Useful vim indent, syntax, and filetype setting for NCL, fortran.☆11Feb 23, 2021Updated 5 years ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- Android开发官方API Demos代码，在学习过程中根据自己的理解及网上的学习资料，给相关代码添加了一些注释，有的类做了简单修改，希望学习起来更方便！☆11Jun 4, 2016Updated 9 years ago
- Victory Programmer Environment (used in M code Development; esp. for VISTA)☆12Aug 29, 2019Updated 6 years ago
- 夜鹭页录(YeluYelu)，记录夜鹭奇妙拟态的图鉴网站☆18Jun 3, 2025Updated 8 months ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- Meteor project template / boilerplate providing utilities, some global helpers, a list of useful packages and example files.☆10Apr 16, 2016Updated 9 years ago
- 🐥 Gallery viewer for https://github.com/cat-milk/Anime-Girls-Holding-Programming-Books☆12Updated this week
- Чек-лист оптимизации скорости загрузки веб-сайта. В нем найдете рекомендации по серверной оптимизации, управлению кешем, сжатию ресурсов …☆10Sep 18, 2025Updated 5 months ago
- The SWI-Prolog C++ interface☆38Feb 22, 2026Updated last week
- A source which uses result of everything (http://www.voidtools.com/) for unite.vim☆15Apr 2, 2018Updated 7 years ago
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- A Web UI for LinkGrammar and RelEx☆12Feb 11, 2020Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- LorikeeM MUMPS Developer Tools for GNU Emacs☆14Feb 17, 2018Updated 8 years ago
- Natural language construction grammar parser☆10Jul 10, 2015Updated 10 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 9 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- Prolog implementation of microKanren☆44Feb 20, 2015Updated 11 years ago
- Example Dockerfile for provisioning microservice built with Rails and running uinicorn and consumers services☆11Jun 14, 2015Updated 10 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- Best Practice codes☆12Dec 8, 2022Updated 3 years ago