Sketch and take handwritten notes.

a structural diff that understands syntax 🟥🟩

Linux Kernel Modules

Open-source desktop app for local LLMs. Text, vision, tool-calling, OpenAI/Anthropic-compatible API. 100% private.

Removes account requirements and telemetry from Oculus Quest devices

NAP Framework: real-time control & visualization platform

Material and code for the practical sessions for the course: Techniques of AI [INFOH410]

What the f*ck Python? 😱

A modern commutative diagram editor for the web.

Solution to Algebra, Chapter 0

Chicago undergraduate mathematics bibliography

Development tools for https://github.com/leanprover-community/mathlib

Create beautiful diagrams just by typing notation in plain text.

Frame profiler

High performance motor control

Avatars for Zoom, Skype and other video-conferencing apps.

📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

The HTML Presentation Framework

Tessellate your favorite 2D manifolds with triangles, hexagons, and other interesting patterns.

Enoki: structured vectorization and differentiation on modern processor architectures

Amazon SageMaker Debugger provides functionality to save tensors during training of machine learning jobs and analyze those tensors

Google Colaboratory Notebooks and Repositories (by @firmai)

Run a personal VPN in the cloud. And rotate it regularly.

Official pytorch implementation of the paper: "SinGAN: Learning a Generative Model from a Single Natural Image"

This is an Android app for viewing Zotero libraries.

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

Bug-free machine learning on stochastic computation graphs

💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

Making Docker and Kubernetes management easy.

Models and examples built with TensorFlow