My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.

Linux Kernel Defence Map shows the relationships between vulnerability classes, exploitation techniques, bug detection mechanisms, and defence technologies

A tool for checking the security hardening options of the Linux kernel

FrameBuffer eInker, a small tool & library to print text & images to an eInk Linux framebuffer

Low power, E-Ink dashboard for every day life running on a hacked Kindle.

a work-in-progress Ruby compiler, written in Ruby and C++

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

This repository contains a TextMate grammar for the Mojo 🔥 programming language.

The Modular Platform (includes MAX & Mojo)

Living document: Early Performance Results from the Prototype Morello Microarchitecture

Custom Minecraft Classic / ClassiCube client written in C from scratch (formerly ClassicalSharp in C#)

GNU Radio – the Free and Open Software Radio Ecosystem

A cross platform C99 library to get cpu features at runtime.

The Vector Optimized Library of Kernels

Simple and Distributed Machine Learning

Repo for PAROL6 GUI

BOM, STL files and instructions for PAROL6 3D printed robot arm

DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Create D bindings from GObject introspection files

GtkD is a D binding and OO wrapper of GTK+ originally created by Antonio Monteiro

An incremental parsing system for programming tools

Java bindings for tree-sitter

Tree sitter parser for LLVM

Java grammar for tree-sitter

C grammar for tree-sitter

C++ grammar for tree-sitter

Treesitter grammar for Pascal and its dialects (Delphi, Freepascal)

D Grammar for Tree Sitter