|
|
Python |
4 |
schema for ontology associations |
Nov 17, 2021 |
|
|
Python |
89 |
A Schema for Quantum Chemistry |
Apr 05, 2023 |
|
|
Shell |
6 |
BDRC Ontology Schema |
Dec 31, 2021 |
|
|
JavaScript |
7 |
JSON Schema for Vulnerability Description Ontology (VDO) |
Jul 20, 2022 |
|
|
Prolog |
5 |
Matches ontology classes against wikidata |
Mar 12, 2023 |
|
|
None |
2 |
GraphQL schema generation for DGraph from FHIR ontology. |
Jul 18, 2022 |
|
|
Python |
4 |
Schema for configurations / stylesheets for visualizing ontology and KGs |
Aug 16, 2022 |
|
|
None |
4 |
PROCO: A formal ontology in the domain of process chemistry |
Jun 24, 2022 |
|
|
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 |
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 |