mingodad/picat external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mingodad/picat

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mingodad/picat)

Close

mingodad / picatView on GitHubMore

• External links
• Readme badge

My unofficial picat http://picat-lang.org/ repository

☆31Jan 11, 2024Updated 2 years ago

Alternatives and similar repositories for picat

Users that are interested in picat are comparing it to the libraries listed below

• poplog / poplog

  View on GitHub
  Poplog
  ☆21Nov 18, 2010Updated 15 years ago
• GunterMueller / KLIC

  View on GitHub
  KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"
  ☆15Oct 27, 2023Updated 2 years ago
• ptarau / binprolog

  View on GitHub
  Fast, simplified WAM-based Prolog system
  ☆25Oct 30, 2025Updated 4 months ago
• nfzhou / lp-contest

  View on GitHub
  ☆11Sep 21, 2025Updated 5 months ago
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• MiniZinc / mzn-challenge

  View on GitHub
  An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
  ☆14Nov 25, 2024Updated last year
• mndrix / binprolog

  View on GitHub
  Contributions to BinProlog. See https://code.google.com/p/binprolog/
  ☆10Aug 16, 2013Updated 12 years ago
• hebisch / poplog

  View on GitHub
  ☆28Aug 26, 2025Updated 6 months ago
• glynawe / awe

  View on GitHub
  A compiler for the Algol W programming language.
  ☆15Jul 13, 2025Updated 7 months ago
• KaKrzysiek / bigint

  View on GitHub
  Open source library to handle integers of any size in C
  ☆14Apr 11, 2023Updated 2 years ago
• friguzzi / trill-on-swish

  View on GitHub
  The Trill probabilistic ontology reasoner on SWISH
  ☆12Oct 1, 2025Updated 5 months ago
• jsummers / winlifesearch

  View on GitHub
  A Windows program to search for cellular automata patterns
  ☆16Jan 24, 2013Updated 13 years ago
• acharaakshit / RMiniZinc

  View on GitHub
  R Interface to MiniZinc
  ☆14Oct 17, 2021Updated 4 years ago
• Herb-AI / HerbSWIPL.jl

  View on GitHub
  Julia wrapper around SWI Prolog
  ☆13Feb 17, 2022Updated 4 years ago
• davidjbacon / SETL

  View on GitHub
  GNU SETL
  ☆37Feb 7, 2025Updated last year
• AppliedLogicSystems / ALSProlog

  View on GitHub
  ALS Prolog Compiler & Development Environment
  ☆17Feb 21, 2026Updated last week
• triska / trs

  View on GitHub
  Reason about Term Rewriting Systems
  ☆18Jul 24, 2022Updated 3 years ago
• jgrassler / papercut

  View on GitHub
  Papercut NNTP server
  ☆15Jul 1, 2016Updated 9 years ago
• claudiosa / CCS

  View on GitHub
  Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc
  ☆38Feb 24, 2026Updated last week
• ptarau / TypesAndProofs

  View on GitHub
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Feb 2, 2026Updated last month
• mndrix / spawn

  View on GitHub
  Easy concurrency for Prolog
  ☆13May 30, 2014Updated 11 years ago
• silentbicycle / lua-bdd

  View on GitHub
  Binary decision diagram library (Lua)
  ☆16May 24, 2015Updated 10 years ago
• JanWielemaker / ffi

  View on GitHub
  SWI-Prolog dynamic C interface
  ☆17Sep 21, 2024Updated last year
• SWI-Prolog / sCASP

  View on GitHub
  Top-down interpreter for ASP programs with Constraints
  ☆34Jun 30, 2025Updated 8 months ago
• wayfarerdb / tree-talk

  View on GitHub
  exploratory programming for an object system in common lisp
  ☆14Aug 14, 2015Updated 10 years ago
• bewing0 / qcc

  View on GitHub
  A superfast C compiler inspired by TinyCC
  ☆16May 27, 2015Updated 10 years ago
• aarroyoc / teruel

  View on GitHub
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Feb 5, 2024Updated 2 years ago
• celinehocquette / magicpopper

  View on GitHub
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆19Oct 5, 2022Updated 3 years ago
• edisonm / refactor

  View on GitHub
  Refactoring Tools for SWI-Prolog
  ☆20Sep 27, 2025Updated 5 months ago
• jasonrohrer / SleepIsDeath

  View on GitHub
  a storytelling game for two players
  ☆17Jul 5, 2022Updated 3 years ago
• cmungall / cltools

  View on GitHub
  tools for common-logic
  ☆22Mar 5, 2013Updated 12 years ago
• ptarau / pypro

  View on GitHub
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Mar 1, 2023Updated 3 years ago
• logicmoo / logicmoo_ec

  View on GitHub
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Feb 6, 2022Updated 4 years ago
• wouterbeek / prolog_rdf

  View on GitHub
  Advanced support for working with RDF in Prolog.
  ☆19Aug 31, 2024Updated last year
• JanWielemaker / swi-erlang

  View on GitHub
  Yes, Erlang in SWI-Prolog!
  ☆12Jun 18, 2018Updated 7 years ago
• logicmoo / CYC_JRTL_with_CommonLisp

  View on GitHub
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆17Apr 17, 2023Updated 2 years ago
• FMNSSun / Burlesque

  View on GitHub
  http://mroman.ch/burlesque
  ☆14Dec 26, 2019Updated 6 years ago
• kyutai-labs / kaudio

  View on GitHub
  Rust crate for some audio utilities
  ☆27Mar 8, 2025Updated 11 months ago
• wmannis / cl-gambol

  View on GitHub
  Basic Prolog functionality for Common Lisp
  ☆21Feb 12, 2018Updated 8 years ago