|
|
Prolog |
144 |
Constraint Logic Programming over Integers |
Nov 27, 2022 |
|
|
Haskell |
3 |
Constraint Logic Programming for Haskell |
Mar 30, 2021 |
|
|
Prolog |
140 |
Constraint Logic Programming over Finite Domains |
Nov 23, 2022 |
|
|
Clojure |
6 |
Teach a computer to solve regexcrossword.com puzzles with constraint logic programming |
Jun 14, 2022 |
|
|
C++ |
2 |
constraint satisfication programming |
Sep 07, 2015 |
|
|
Prolog |
2 |
🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game + Constraint … |
Dec 26, 2023 |
|
|
Haskell |
26 |
Monadic Constraint Programming framework |
Mar 16, 2023 |
|
|
Cython |
22 |
Python constraint programming library |
Jan 18, 2023 |
|
|
Rust |
75 |
Constraint programming in Rust |
Apr 29, 2023 |
|
|
Prolog |
4 |
TriEmbed community hardware design files for standalone ESP32/Dialog FPGA |
Jun 10, 2022 |
|
|
Prolog |
4 |
Probabilistic version of the Popper ILP system. |
Feb 01, 2022 |
|
|
Prolog |
4 |
Northumbria wave tracking code |
Feb 05, 2021 |
|
|
Prolog |
4 |
A 4x4 capacitive touch button grid - hardware design files. |
Dec 05, 2021 |
|
|
Prolog |
4 |
JTAG adapter, leaflet, case CAD files, ... |
Dec 03, 2013 |
|
|
Prolog |
4 |
Various smaller osmocom open source hardware projects; mirror of https://gitea.osmocom.org/electronics/osmo-small-hardware |
Jul 15, 2022 |
|
|
Prolog |
4 |
Parser for SBVR SE based on Attempto Parsing Engine (APE) |
Jun 05, 2022 |
|
|
Prolog |
4 |
None |
Apr 08, 2022 |
|
|
Prolog |
4 |
A crossword layout generator in Prolog |
Sep 07, 2021 |
|
|
Prolog |
4 |
SpamPIG |
Jan 09, 2017 |
|
|
Prolog |
5 |
3PDT optical true bypass PCB , eagle file and gerbers |
Mar 02, 2022 |
|
|
Prolog |
5 |
a new evolutionary highlevel and readable tape language (unlike brainf) |
Jul 15, 2022 |
|
|
Prolog |
5 |
Demo of the Monty Python witch scene with Prolog |
Aug 03, 2022 |
|
|
Prolog |
5 |
Tabulate P.L. 94-171 Redistricting Data Summary Files |
Jul 18, 2022 |
|
|
Prolog |
5 |
Prolog family relationship database |
Dec 03, 2020 |
|
|
Prolog |
5 |
re-un-over-complicating my dotfiles and system management |
Oct 08, 2021 |
|
|
Prolog |
5 |
A Prolog program that solves 4x4 Sudoku puzzles |
Mar 28, 2022 |
|
|
Prolog |
6 |
Prolog Kubernetes client |
Aug 02, 2020 |
|
|
Prolog |
6 |
Milkymist One PCB design files |
Jun 25, 2021 |
|
|
Prolog |
6 |
Implementation of OSLC Core in SWI-Prolog |
Mar 18, 2022 |
|
|
Prolog |
7 |
None |
May 05, 2020 |
|
|
Prolog |
7 |
Projeto da matéria de Paradigmas da Programação da FGA, focado na utilização do paradigma lógico … |
Aug 20, 2022 |
|
|
Prolog |
8 |
Experimentation framework for Popper |
May 13, 2022 |
|
|
Prolog |
8 |
A Prolog application of basic interactions between elementary particles. |
Mar 28, 2022 |
|
|
Prolog |
8 |
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog |
Sep 18, 2020 |
|
|
Prolog |
8 |
PCB design for the micromouse project @ RU IEEE 2012 |
Aug 16, 2019 |
|
|
Prolog |
8 |
A breakout board for the ublox NEO-M8P high precision, RTK ready GNSS module. |
Apr 22, 2021 |
|
|
Prolog |
9 |
Schema for chemistry ontology classes |
Mar 13, 2022 |
|
|
Prolog |
9 |
TUS protocol for resumable file uploads via HTTP |
Aug 11, 2022 |
|
|
Prolog |
9 |
Prolog simulaton of quantum physics |
May 03, 2021 |
|
|
Prolog |
10 |
MISR INteractive eXplorer |
Apr 21, 2022 |
|
|
Prolog |
10 |
Prolog - Exercise with solution. |
Jan 08, 2022 |
|
|
Prolog |
11 |
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional … |
Jul 15, 2022 |
|
|
Prolog |
11 |
None |
Aug 23, 2022 |
|
|
Prolog |
12 |
Examples for Qt Webkit |
Jan 10, 2022 |
|
|
Prolog |
13 |
A simple sudoku solver written in SWI-Prolog |
Jan 22, 2022 |
|
|
Prolog |
14 |
AI course |
Mar 01, 2022 |
|
|
Prolog |
14 |
Einstein's Riddle (aka Zebra Puzzle) formulated as a Prolog program. |
Oct 08, 2021 |
|
|
Prolog |
329 |
Heavily Xchat inspired beautiful irssi theme. |
Aug 01, 2022 |
|
|
Prolog |
1947 |
TerminusDB is a distributed database with a collaboration model |
Aug 20, 2022 |
|
|
Prolog |
2 |
Carrer Recommendation System for graduating students of IIITD |
Mar 01, 2022 |