SWI-Prolog / swipl-develLinks
SWI-Prolog Main development repository
☆1,171Updated this week
Alternatives and similar repositories for swipl-devel
Users that are interested in swipl-devel are comparing it to the libraries listed below
Sorting:
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆548Updated last month
- SWI-Prolog stable releases☆233Updated last month
- Some simple examples for new Prolog programmers☆619Updated 3 years ago
- The Power of Prolog: Introduction to modern Prolog☆1,347Updated last week
- The Mercury logic programming system.☆979Updated this week
- Logtalk - declarative object-oriented logic programming language☆471Updated this week
- Curated list of Prolog packages and resources☆549Updated 3 months ago
- Mozart Programming System v2☆597Updated 11 months ago
- The MLton repository☆1,044Updated last week
- An open source Prolog interpreter in JavaScript☆622Updated 2 years ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,775Updated this week
- CakeML: A Verified Implementation of ML☆1,103Updated this week
- GNU Prolog☆137Updated 3 weeks ago
- Poly/ML☆518Updated this week
- Typed Racket☆555Updated this week
- J engine source mirror☆718Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆324Updated 6 months ago
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆712Updated this week
- DrRacket, IDE for Racket☆489Updated this week
- A Proof-oriented Programming Language☆2,946Updated 3 weeks ago
- BNF Converter☆616Updated 3 weeks ago
- opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git…☆1,325Updated 2 weeks ago
- An introduction to programming language theory in Agda☆1,479Updated 2 weeks ago
- A purely functional programming language with first class types☆2,828Updated this week
- Constraint Logic Programming over Finite Domains☆188Updated 6 years ago
- Factor programming language☆1,793Updated this week
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆541Updated 6 months ago
- papers of Per Martin Löf☆807Updated last year
- 🦉 A grounder and solver for logic programs.☆727Updated last week
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆996Updated 3 weeks ago