pthariensflame

pkl

A configuration as code language with rich validation and tooling.

ImageOptim

GUI image optimizer for Mac

excelCPU

16-bit CPU for Excel, and related files

Vulkan-Docs

The Vulkan API Specification and related tools

superwhite

display a very bright white color on HDR-enabled displays

rustc_codegen_clr

This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.

swift-bridge

swift-bridge facilitates Rust and Swift interop.

cargo-mommy

Mommy's here to support you when running cargo~

meta-package-manager

🎁 wraps all package managers with a unifying CLI

comemo

Incremental computation through constrained memoization.

ascent

logic programming in Rust

rstar

R*-tree spatial index for the Rust ecosystem

swiftly

A Swift toolchain installer and manager, written in Swift.

ane

Reverse engineered Linux driver for the Apple Neural Engine (ANE).

hcc

C Compiler to SPIR-V

reddit-user-to-sqlite

Pull Reddit user data into a SQLite database

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

elfx86exts

Decode binaries and print out which instruction set extensions they use. This program's name is a lie: it supports not just x86/ELF but also ARM64, MachO, and possibly more.

agda2hs

Compiling Agda code to readable Haskell

PreallocationTools.jl

Tools for building non-allocating pre-cached functions in Julia, allowing for GC-free usage of automatic differentiation in complex codes

speakersafetyd

Rust speaker safety daemon for Asahi Linux

rust-sel4

Rust support for seL4 userspace

anecc

Run a CoreML MLModel on the Asahi Neural Engine

hayabusa

Hayabusa is a swift rust fetch program.

Random123.jl

Julia implementation of Random123.

asil

simple-topes

Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.

ane-ex

JuliaSyntaxHighlighting.jl

blueOS

A custom 32-bit operating system built from scratch for the x86 architecture.