programs written in Picat
☆11Feb 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for Picat
Users that are interested in Picat are comparing it to the libraries listed below
Sorting:
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 7 years ago
- SWI Prolog library to interface to the GPT API☆20Mar 6, 2024Updated 2 years ago
- Probabilistic Programming and Bayesian Methods for Hackers - Julia language☆20Nov 10, 2021Updated 4 years ago
- Classical CHAT80 NLP system for Prolog☆25Feb 27, 2025Updated last year
- top-down interpreter for ASP programs with constraints☆18Sep 19, 2022Updated 3 years ago
- Interface from C# to SWI-Prolog☆27Dec 7, 2025Updated 2 months ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- A GA4GH Draft Beacon implementation☆11Oct 23, 2015Updated 10 years ago
- New, much faster implementation of a FIT parser in C#.☆11Dec 8, 2015Updated 10 years ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- Collection of iPython notebooks with some quick demos☆11May 25, 2017Updated 8 years ago
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated last week
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- SvgBlazor is a simple library that allows you to write C# code that is transformed directly into svg elements. Thanks to its simple, yet …☆12May 18, 2023Updated 2 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Control suite for FPGA based qubit time-series photonics☆13Mar 9, 2023Updated 2 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- SWI-Prolog WebAssembly build as a NPM package☆59Updated this week
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 3 months ago
- C# Specification for https://github.com/vega/vega-lite☆10Aug 12, 2021Updated 4 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- SNOBOL/SPITBOL pattern matching in JavaScript☆10Apr 2, 2021Updated 4 years ago
- Repo containing documentation and explanation for CSET's harm taxonomy of incidents from AIID.☆18Jun 21, 2024Updated last year
- Reusable slice of references☆11Dec 18, 2025Updated 2 months ago
- Julia module to handle PLINK BED files☆11Jul 10, 2018Updated 7 years ago
- Framework for creating web applications using Logtalk☆12Apr 12, 2023Updated 2 years ago
- A creative coding environment where Claude can express itself through generative art using p5.js. See tweet thread for examples: https://…☆13Feb 3, 2026Updated last month
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- Sort selections based on their content☆12Apr 20, 2023Updated 2 years ago
- datomic odds and ends☆30Jun 25, 2015Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- access yahoo stock quotes in haskell☆16Dec 29, 2015Updated 10 years ago
- Software for creating and comparing genome fingerprints.☆11Jun 30, 2024Updated last year
- An extensible visual programming system.☆10May 8, 2016Updated 9 years ago
- inseri.swiss - connecting data repositories, research methods, and researchers☆15Updated this week
- A tool to easily define and send HTTP requests☆10Sep 18, 2023Updated 2 years ago
- Visualization of the snik-ontology.☆14Nov 21, 2025Updated 3 months ago