An attempt to formalize every problem in Baby Rudin with natural language descripiton

Haskell source code suggestions

Pretty fancy and modern terminal file manager

A modern Prolog implementation written mostly in Rust.

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Repository for the Stacks Project

A syntax-highlighting pager for git, diff, grep, and blame output

A web component for easy math input

Formalization of Homotopy Type Theory for use in my Youtube videos

Rust crates for MCU programming and PIC32 HAL

Font Helper for Figma for Linux x64 platform

The Julia Programming Language

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis

Timewarrior - Commandline Time Tracking and Reporting

[Deprecated] An early language server for Typst, plus a VS Code extension

The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.

A free & open tool for transcribing audio interviews

best way to save what you love

Terminal-based presentations using Pandoc

Adding support for the Rust language to the Linux kernel.

Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.

Strong's Dictionaries of Hebrew and Greek

A new markup-based typesetting system that is powerful and easy to learn.

Modern graphing calculator operating system.

A sample Rust app for the NumWorks graphing calculator

How to record and replay touchscreen events on an Android device.

⛅ The right way to check the weather

Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.