Toolkit for linearizing PDFs for LLM datasets/training

MLX: An array framework for Apple silicon

Examples in the MLX framework

SIMD accelerated HPKE hybrid public-key encryption

A Tool for Exporting TimeTree Calendar to iCal / 將 TimeTree 日曆匯出成 iCal 格式

Application Security Verification Standard

Umami is a simple, fast, privacy-focused alternative to Google Analytics.

Automate the process of making money online.

Zant simplifies the deployment and optimization of neural networks on microprocessors

Zonos-v0.1 is a leading open-weight text-to-speech model trained on more than 200k hours of varied multilingual speech, delivering expressiveness and quality on par with—or even surpassing—top TTS …

Simple Serialization in pure Zig

OpenHealth, AI Health Assistant | Powered by Your Data

Easy input/output in ZIG.

A lightweight CLI and local API server to create, run and manage macOS and Linux virtual machines (VMs) natively on Apple Silicon.

HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.

Checker for Lifetimes and other Refinement types

Official implementation of paper "HiAE: A High-Throughput Authenticated Encryption Algorithm for Cross-Platfor Efficiency"

MILP Model for Paper "Optimizing Key Recovery in Impossible Cryptanalysis and Its Automated Tool"

Prime Degree Signature Mechanism

ip to location database by ASN, GeoFeed, Whois, iptoasn.com, db-ip lite, GeoLite2

Create beautiful woven baskets using OpenSCAD with mathematical algorithms developed using Svelte.

Fully open reproduction of DeepSeek-R1

This library allows you to setup and build an APK for your Android devices

Testvectors

An Ai model for speech to text in the spirit of Plaud, but locally-hosted.