A tiling terminal emulator for Linux using GTK+ 3

Programming language for literate programming law specification

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Refactoring Tools for SWI-Prolog

Santiago is a lexing and parsing toolkit for Rust

Rust grammar tool libraries and binaries

Initial Commit

HungaBunga: Brute-Force all sklearn models with all parameters using .fit .predict!

Official repository of the FriCAS computer algebra system

SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html

An efficient implementation of the higher-order logic programming language Lambda Prolog

Tool to control your android phone from your pc through ADB

Unofficial Python library for using the Polish Wordnet (plWordNet / Słowosieć)

Open-source YouTube alternative that offers video, audio and image uploads, livestreaming and built-in monetization

Chrome extension to return youtube dislikes

A rugged, minimal framework for composing JavaScript behavior in your markup.

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Open textbook on modal logic

An open-source, customizable intermediate logic textbook

A sample project containing usefull verbose aliases, for those who feel lost and angry at git. Basically for those Polish folks, who scream "Git, kurwa!".

Official github repository for Fast Artificial Neural Network Library (FANN)

Animated console version of the 2048 game

Java Operator Overloading

A Java API to render LaTeX