A statically typed lisp, without a GC, for real-time applications.

A retro game engine for Python

[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold until I secure good sponsors or enough time)

Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course

RIOT - The friendly OS for IoT

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

Interactive visualizations of Rust at compile-time and run-time

Windows inside a Docker container.

A Python toolbox for conformal prediction research on deep learning models, using PyTorch.

Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021

Implements harmful/harmless refusal removal using pure HF Transformers

Fully fine-tune large models like Mistral, Llama-2-13B, or Qwen-14B completely for free

A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD and MSc theses, articles and open-source libraries.

Legible, Scalable, Reproducible Foundation Models with Named Tensors and Jax

VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!

Clean, minimal, accessible reproduction of DeepSeek R1-Zero

Declarative and reproducible Jupyter environments - powered by Nix

Algebraic graphs

Snowball compiler and stemming algorithms

The Haskell performance checklist

links for research internships

Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…

fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

🛡️ Open-source and next-generation Web Application Firewall (WAF)

A simple and fast sklearn-compatible conformal predictions with random forests for both classification and regression tasks.

A self hosted virtual browser that runs in docker and uses WebRTC.

A simple supercompiler formally verified in Agda

Haskell to VHDL/Verilog/SystemVerilog compiler

A digital logic designer and circuit simulator.

Dear PyGui: A fast and powerful Graphical User Interface Toolkit for Python with minimal dependencies