|
|
C |
5 |
OTR for xchat, fork of http://irssi-otr.tuxfamily.org/ |
May 11, 2022 |
|
|
None |
2 |
Irssi theme |
May 29, 2017 |
|
|
None |
2 |
irssi theme |
May 29, 2017 |
|
|
None |
2 |
A beautiful irssi theme requiring Ethan Schoonover’s Solarized terminal-colour scheme |
Nov 01, 2013 |
|
|
None |
13 |
🧛🏻♂️ Dark theme for XChat |
Apr 20, 2022 |
|
|
Shell |
4 |
An Irssi theme |
Jun 06, 2021 |
|
|
None |
2 |
irssi theme from 2007 |
May 29, 2017 |
|
|
Prolog |
33 |
Powerline theme for IRSSI |
May 23, 2022 |
|
|
CSS |
13 |
A clean and minimal theme for obsidian, heavily inspired by Things. |
Jul 21, 2022 |
|
|
JavaScript |
8 |
This theme is heavily inspired by Omni from Rocketseat and Night Owl |
Aug 05, 2022 |
|
|
CSS |
107 |
A clean and minimal theme for obsidian, heavily inspired by iA Writer. |
Apr 21, 2023 |
|
|
None |
2 |
The Berry colour scheme for Sublime Text is heavily inspired by PHPStorm Photon Theme which … |
Oct 13, 2023 |
|
|
PHP |
2 |
an irssi theme based on gothic |
Mar 01, 2023 |
|
|
JavaScript |
2 |
heavily inspired by mindlessdev's NotEnoughCoins mod |
Jan 28, 2023 |
|
|
TypeScript |
10 |
A Preact Material-UI theme written in TypeScript (heavily inspired by Google's Firebase UI) |
Aug 11, 2020 |
|
|
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 |