|
|
Shell |
4 |
Minimal project that uses qmake, GCC, C++11, gcov and is tested by Travis CI |
Apr 23, 2020 |
|
|
QMake |
4 |
Minimal project that uses qmake, GCC, C++14, gcov and is tested by Travis CI |
Dec 31, 2020 |
|
|
Shell |
26 |
Minimal project that uses qmake, GCC, C++11, gcov and is tested by Travis CI |
Oct 01, 2021 |
|
|
Shell |
2 |
Minimal project that uses qmake, GCC, C++11, Boost, Boost.Test, gcov and is tested by Travis … |
Jan 06, 2021 |
|
|
QMake |
6 |
How to use qmake with protoc (and probably applicable to other generated source code) |
Dec 24, 2021 |
|
|
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 |
|
|
Prolog |
22 |
My answers to the exercises in Learn Prolog Now! |
Nov 08, 2022 |
|
|
Prolog |
3 |
Projeto de fonte para a disciplina Eletrônica para Computação. |
Oct 21, 2022 |
|
|
Prolog |
2 |
A mini RDF-Surfaces playground |
Jan 02, 2023 |
|
|
Prolog |
4 |
None |
Jun 20, 2020 |