YAP is a high-performance Prolog compiler
☆12Mar 11, 2011Updated 14 years ago
Alternatives and similar repositories for yap
Users that are interested in yap are comparing it to the libraries listed below
Sorting:
- Convert console Dart applications into single executables containing the VM and all dependencies.☆22Sep 29, 2013Updated 12 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- XSB Prolog☆14Mar 27, 2010Updated 15 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Feb 22, 2023Updated 3 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- ☆62Nov 11, 2025Updated 3 months ago
- UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main …☆28Updated this week
- Official YACoin Development Tree.☆24Aug 26, 2025Updated 6 months ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 2 weeks ago
- ☆14Jan 28, 2020Updated 6 years ago
- Grd Me (/ɡärd mē/) is an open source browser plugin that provides encrypted communication across any web platform.☆11Nov 18, 2015Updated 10 years ago
- RADIUS protocol stack for Erlang.☆43Feb 19, 2025Updated last year
- Adv360 zmk config☆12Jan 11, 2026Updated last month
- RSMP Signal Exchange List (SXL) for Traffic Controllers☆12Dec 19, 2025Updated 2 months ago
- minimax in SWI Prolog for Tic Tac Toe☆10Nov 19, 2017Updated 8 years ago
- Even yet another iambic electronic keyer☆10Feb 6, 2022Updated 4 years ago
- Add Cowboy websockets to your Plug.Router easily.☆17Aug 25, 2021Updated 4 years ago
- Guichan is a C++ GUI library designed for games.☆14Oct 22, 2025Updated 4 months ago
- Vipps for WooCommerce☆11Updated this week
- A modern Prolog implementation written mostly in Rust.☆12Jan 18, 2026Updated last month
- Library for extracting fields from Sigtran TCAP/INAP messages☆11Feb 17, 2026Updated 2 weeks ago
- Various Cobbler config files☆14Jan 23, 2013Updated 13 years ago
- A safe immutable string format for C☆14Oct 18, 2025Updated 4 months ago
- zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".☆16Feb 25, 2026Updated last week
- bpm.is sauce☆10Nov 5, 2021Updated 4 years ago
- The NVRC project provides a Rust binary that implements a simple init system for microVMs.☆25Feb 24, 2026Updated last week
- SNOBOL/SPITBOL pattern matching in JavaScript☆10Apr 2, 2021Updated 4 years ago
- Top-level manifest module containing networking tools by the Microsoft Core Networking Product Group at Microsoft☆14Jun 12, 2023Updated 2 years ago
- CANoolder: CAN to 3.3V logic level interface. Dumb. Cheap. Simple. Pick 3.☆15Feb 14, 2018Updated 8 years ago
- Various Pike modules☆18Aug 17, 2016Updated 9 years ago
- Contrail analytics IDL☆12Mar 24, 2022Updated 3 years ago
- A tool to explore the data and options available in the graph API.☆11Dec 15, 2012Updated 13 years ago
- Tr1d1um is the Webpa micro-service that encode TR-181 requests.☆16Updated this week
- http integration test service☆79May 11, 2016Updated 9 years ago
- HTTP utility library for Standard ML☆11Jan 9, 2026Updated last month
- Flutter Digital lcd panel style Widget .for now just numbers.☆11Sep 25, 2019Updated 6 years ago
- Erlang library for encoding and decoding Packet Forwarding Control Protocol (PFCP) frames.☆13Jun 24, 2024Updated last year
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- The if.then.fund website.☆10Sep 5, 2017Updated 8 years ago