Mutable arrays similar to linear-base with efficient but unsafe splits and joins

Open source interface for iCUE LINK Hub and other Corsair AIOs, Hubs for Linux. Manage RGB lighting, fan speeds, system metrics, as well as keyboards, mice, headsets via a web dashboard.

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Some Lustre program examples

A Simple showcase for the Sea-of-Nodes compiler IR

A garden of small programming language implementations 🪴

A demo implementation of a simple dependently-typed language

[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)

The Core Flight System (cFS)

2D physics header-only library for videogames developed in C using raylib library.

Couldn't find the perfect userChrome.css, so I made my own.

AI/ML applications have unique security threats. Project GuardRail is a set of security and privacy requirements that AI/ML applications should meet during their design phase that serve as guardrai…

rio clone for X11

A manual window tiler for X written in C. Inspired by dwm, accidentally similar to bspwm (lol)

A Lustre compiler in Coq

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

A categorized list of C++ resources.

A light colorscheme for dark theme users.

Recent Fuzzing Paper

Amiga-native recreation of one of the most beautiful and readable 8×8 pixel typefaces ever created: Topaz — now rendered in pixel-perfect 8×16px for modern resolutions.

MLIR For Beginners tutorial

Painless relocation of Linux binaries–and all of their dependencies–without containers.

A fast and lightweight native programming language

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

MPP - a preprocessor for language-independent metaprogramming

The MLton repository

historical archive of rust pre-publication development

Frame profiler