Anniepoo / weblog
Web Framework for SWI-Prolog
☆43Updated 9 years ago
Alternatives and similar repositories for weblog:
Users that are interested in weblog are comparing it to the libraries listed below
- Prolog stuff☆28Updated 5 years ago
- Prolog HTTPS Servers☆37Updated 7 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Blogging/CMS framework for SWI-Prolog.☆22Updated 2 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 5 years ago
- ☆9Updated 9 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 8 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Boolean Constraint Solving in Prolog☆39Updated 3 months ago
- Text templating processor for SWI-Prolog.☆32Updated 5 years ago
- The SWI-Prolog HTTP server and client libraries☆25Updated this week
- Yes, Erlang in SWI-Prolog!☆11Updated 6 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated this week
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Markdown parser for SWI-Prolog.☆20Updated 4 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Prolog library for building self-optimizing predicates☆9Updated 10 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 9 months ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- Poplog☆21Updated 14 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- Generic collections API for Racket☆52Updated 2 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A collection of Scheme libraries☆30Updated 9 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 5 months ago