You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...

libgccjit AOT codegen for rustc

DawVert - The DAW ConVERTer

Verified Rust for low-level systems code

The Z3 Theorem Prover

This repository contains instructions on how to install Docker in Termux, without root.

Open Hardware with ESP32-C3 compatible with Feather specification designed in KiCad

Espressif IoT Development Framework. Official development framework for Espressif SoCs.

Reference designs and documentation for the Input Module system in the Framework Laptop 16

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

TWRP for Tolino eInk readers

Moved to Codeberg

A fast in-memory rule engine

Algorithm pseudocode typesetting library for Typst

Let's Finally Try to Catch C -- Java like exception handling in C -- April 1999

Write safer FFI code in Rust without polluting it with unsafe code

A versatile Arduino library for interfacing with the ADAU1401, ADAU1701 and ADAU1702 audio DSPs

arrows in arrows in arrows

The math library of Lean 4

"Small vector" optimization for Rust: store up to a small number of items on the stack

A graph node engine and editor written in Javascript similar to PD or UDK Blueprints, comes with its own editor in HTML5 Canvas2D. The engine can run client side or server side using Node. It allow…

[Deprecated] An early language server for Typst, plus a VS Code extension

Format Rust code

LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)

🔊 Text-Prompted Generative Audio Model

INVENTED BY TOM: The 1st JSON-Infused Zonal Metadata Language (JIZML) paradigm

A package for creating slides in Typst

Wasm runtime for multimedia apps

perfect programming language