GNU-Emacs interface that embeds Prolog as an Emacs module
☆16Feb 22, 2026Updated last week
Alternatives and similar repositories for packages-sweep
Users that are interested in packages-sweep are comparing it to the libraries listed below
Sorting:
- Refactoring Tools for SWI-Prolog☆20Sep 27, 2025Updated 5 months ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆17Aug 20, 2021Updated 4 years ago
- Yes, Erlang in SWI-Prolog!☆12Jun 18, 2018Updated 7 years ago
- Debug Adapter Protocol (DAP) implementation for SWI-Prolog☆21Mar 28, 2022Updated 3 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19Feb 18, 2026Updated last week
- Emacs minor mode for structural editing of JSON☆26Jan 31, 2026Updated last month
- top-down interpreter for ASP programs with constraints☆18Sep 19, 2022Updated 3 years ago
- CLIM/ncurses backend/tutorial☆24Feb 26, 2020Updated 6 years ago
- A Clojure iteration macro inspired by Common Lisp iterate.☆46Aug 8, 2010Updated 15 years ago
- A Common Lisp library for handling Web API requests and responses.☆36Jan 17, 2024Updated 2 years ago
- SWI-Prolog ported to WebAssembly☆40Jun 21, 2018Updated 7 years ago
- Persistent identifier library for GNU Emacs☆41Feb 28, 2025Updated last year
- A procedurally-generated adventure game in 32KB☆11Jun 27, 2022Updated 3 years ago
- CLP(BNR) module for SWI-Prolog☆44Updated this week
- ☆11Jun 6, 2023Updated 2 years ago
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- ☆12May 14, 2025Updated 9 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- MARKUP provides a reader-macro to read HTML tags inside of Common Lisp code☆81Dec 7, 2024Updated last year
- Run the kakoune text editor in your browser!☆10Jan 6, 2023Updated 3 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- ☆11Aug 1, 2016Updated 9 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- ☆19Jul 25, 2018Updated 7 years ago
- Graph inference library☆10Aug 6, 2023Updated 2 years ago
- PureScript Aff bindings for node-mongodb.☆10May 10, 2021Updated 4 years ago
- A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)☆10Mar 16, 2021Updated 4 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- ☆10Mar 31, 2024Updated last year
- Type declarations for Node's Buffer class☆10Jul 5, 2023Updated 2 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 8 years ago
- How to use the Web Cryptography API☆12Dec 9, 2016Updated 9 years ago
- ☆12Feb 12, 2018Updated 8 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- Highly customizable plugin for generating responsive images.☆10Feb 1, 2021Updated 5 years ago