|
Prolog |
11 |
Notes from my study of Learn Prolog Now! |
Mar 30, 2023 |
|
Prolog |
39 |
Learn Prolog Now! Proper and elegant exercise solutions |
Feb 27, 2023 |
|
Prolog |
3 |
Some prolog exercises |
Dec 15, 2017 |
|
Prolog |
22 |
Exercism exercises in Prolog. |
Jul 12, 2022 |
|
Prolog |
2 |
Exercises from https://www.metalevel.at/prolog |
Nov 06, 2021 |
|
Scheme |
2 |
my answers to the SICP exercises |
Oct 23, 2013 |
|
Prolog |
4 |
Exercises of the book "Programming Prolog in Depth" |
May 29, 2014 |
|
None |
9 |
Answers to the exercises of the book. |
Dec 21, 2022 |
|
None |
2 |
Answers to the exercises of the book. |
Apr 02, 2021 |
|
C |
4 |
Answers to the exercises of the book. |
Apr 02, 2021 |
|
C |
2 |
Answers to exercises in the c book |
Oct 18, 2022 |
|
Lean |
2 |
Answers to the exercises in the Lean tutorial |
May 22, 2023 |
|
Scala |
549 |
chisel tutorial exercises and answers |
Aug 23, 2022 |
|
C++ |
10 |
Answers to exercises of the C++ Primer book. |
Apr 23, 2021 |
|
None |
2 |
Answers cum cheatsheet to githug exercises |
Sep 28, 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 |