Open source Smart Battery Management System

An advanced AI-powered generic document-analysis tool

Documentation that simply works

A list of Free and Open Source Software (FOSS) for Android – saving Freedom and Privacy.

🖥 📊 🕹 🛠 A curated list of command line apps

Type-safe YAML parser and validator.

My presentation of the recompression technique for word equations.

🤖 The Modern Port Scanner 🤖

A cross-platform, safe, pure-Rust graphics API.

Fix of the original Springer LNCS LaTeX class

Composable proof transcripts for public-coin arguments of knowledge

Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number.

📝A simple and elegant markdown editor, available for Linux, macOS and Windows.

Transparently tunnel your IP traffic through ICMP echo and reply packets.

Markdown editor with inline preview

Remarkable - The Markdown Editor for Linux http://remarkableapp.github.io

IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.

Graphviz DOT rendering and animated transitions using D3

A Quick Research of Active Automata Learning

The Yices SMT Solver

JavaSMT - Unified Java API for SMT solvers.

The Arend Proof Assistant

scikit-learn: machine learning in Python

Learning Convolutional Neural Networks with Interactive Visualization.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Что читать о разработке компиляторов

Repository containing all code for the videos on the Reducible YouTube channel

Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE

Source code to my videos.

A community-maintained Python framework for creating mathematical animations.