A simple Prolog API for the Z3 constraint solver
☆15Feb 5, 2018Updated 8 years ago
Alternatives and similar repositories for SWIPrologZ3
Users that are interested in SWIPrologZ3 are comparing it to the libraries listed below
Sorting:
- A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.☆11Jun 23, 2019Updated 6 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 6 years ago
- Seaside wrapper for Bootstrap 5 on Pharo☆11Jul 26, 2024Updated last year
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- FM-index is the fastest full text search algorithm using a compressed index file. This is FM-index for JSX/JS/AMD/Common.js.☆11Nov 9, 2013Updated 12 years ago
- These are the official datasets used on the Medicare.gov Hospital Compare Website provided by the Centers for Medicare & Medicaid Service…☆10Mar 12, 2018Updated 7 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- Maitree is an informal serif Latin & looped Thai font family☆8May 2, 2021Updated 4 years ago
- Oklch support for Swift☆25Jul 28, 2024Updated last year
- Streaming component for Gun db.☆43Oct 25, 2019Updated 6 years ago
- Elasticsearch for Pharo Smalltalk☆10Aug 3, 2021Updated 4 years ago
- Open Library branch of WMD.☆28Jul 13, 2011Updated 14 years ago
- Search Hacker News with Python☆13Jan 30, 2020Updated 6 years ago
- Morton order page index for multidimensional arrays☆12Jul 18, 2013Updated 12 years ago
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated 10 months ago
- Common Lisp macros to create web framework based on HTMX☆14May 28, 2024Updated last year
- Launchy McLaunchface, “Launchy,” is a currently under development by the Rocket Propulsion Laboratory. The launch vehicle is being design…☆11Feb 24, 2018Updated 8 years ago
- ☆12Aug 13, 2025Updated 6 months ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- Bootstrap for Seaside wrapper for Pharo☆11Mar 22, 2023Updated 2 years ago
- Hypothesis extension for generating filesystem paths☆12Oct 12, 2017Updated 8 years ago
- Using the Stan statistical modelling language from Clojure using the CmdStan CLI☆11May 1, 2025Updated 10 months ago
- Geiser support for Scsh☆15Jun 22, 2017Updated 8 years ago
- Incorporates external dependencies into HTML file using data: URI scheme☆21Nov 17, 2011Updated 14 years ago
- Ometa-JS based CSS parser☆25Oct 11, 2012Updated 13 years ago
- Lisp bindings for the IPFS HTTP API. (🪞 Mirror)☆11May 30, 2024Updated last year
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- Simple forth environment written in 2002☆10Dec 17, 2015Updated 10 years ago
- Beacon is a small event and logging framework for pharo☆15Aug 14, 2025Updated 6 months ago
- An ILE (Integrated Literature research Environment) in Pharo.☆11May 17, 2019Updated 6 years ago
- ☆12Feb 16, 2026Updated 2 weeks ago
- Spreadsheet functionality for Pharo based on Morphic☆12Apr 3, 2020Updated 5 years ago
- Runs NanoVG demo with moui.☆12Aug 10, 2020Updated 5 years ago
- PharoGs is an open-source project to host Pharo Smalltalk in GemStone.☆10Nov 26, 2024Updated last year
- Unofficial Pharo SDK for sentry.io☆10Nov 1, 2022Updated 3 years ago
- scrollytelling and Filament☆11Jan 7, 2023Updated 3 years ago
- Fortran 2003 wrappers for POSIX threads☆12Oct 13, 2017Updated 8 years ago
- LiveWeb: web app framework for Smalltalk☆13Feb 1, 2024Updated 2 years ago