meiji163

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

yfinance

Simple Clojure code to fetch data from Y! Finance

bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

PoC

Advisories, proof of concept files and exploits that have been made public by @pedrib.

hermitage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

eudyptula

www.eudyptula-challenge.org

jasmin

Language for high-assurance and high-speed cryptography

httpaf

A high performance, memory efficient, and scalable web server written in OCaml

mirage-skeleton

Examples of simple MirageOS apps

Bend

A massively parallel, high-level programming language

multizone-fpga

This repository contains the hardware design source files of the Hex Five X300 RISC-V SoC. The X300 is Hex Five's official reference HW platform for its MultiZone Trusted Execution Environment and MultiZone Trusted Firmware. The X300 is an enhanced secure version of the SiFive's Freedom E300 built around the Rocket chip developed at U.C. Berkeley.

efficient-kan

An efficient pure-PyTorch implementation of Kolmogorov-Arnold Network (KAN).

CVE-2023-4863

ThunderKittens

Tile primitives for speedy kernels

Examples

A collection of TLA⁺ specifications of varying complexities

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

camlpdf

OCaml library for reading, writing and modifying PDF files

pdf

Rust library to read, manipulate and write PDF files.

practical-logic

Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

trilogy

Trilogy is a client library for MySQL-compatible database servers, designed for performance, flexibility, and ease of embedding.

tiny-gpu

A minimal GPU design in Verilog to learn how GPUs work from the ground up

overmind

Process manager for Procfile-based applications and tmux

bpftop

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

gemma.cpp

lightweight, standalone C++ inference engine for Google's Gemma models.

scrapy

Scrapy, a fast high-level web crawling & scraping framework for Python.

ejc-sql

Emacs SQL client uses Clojure JDBC.

fugacious

An example Haskell web application

octox

Unix-like OS in Rust inspired by xv6-riscv

llm.c

LLM training in simple, raw C/CUDA

immudb

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history