Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.

AES implementation for Cairo

🔊 Text-prompted Generative Audio Model - With the ability to clone voices

Suno AI's Bark model in C/C++ for fast text-to-speech

🔊 Text-Prompted Generative Audio Model

Improved SVOX PicoTTS speech synthesizer

Collection of no_std Rust packages focused on making Soroban development easier.

Examples for inference models with ONNXRuntime and CUDA

open-source examples tool-belt for creating and managing secure, privacy-focused L3-ish oracles on StarkNet using Cairo

Herodotus Data Processor Toolkit. Enhance zk-offchain compute for verifiable onchain data using zkVMs

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Modeling, training, eval, and inference code for OLMo

Optimism is Ethereum, scaled.

[CVPR 2024] An End-to-End Tile-Based Framework for High-Resolution Monocular Metric Depth Estimation

Project flat is the Web, Windows and macOS client of Agora Flat open source classroom.

Toy Gaussian Splatting visualization in Unity

RON2.1 C++ implementation

A platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer.

Visualize streams of multimodal data. Fast, easy to use, and simple to integrate. Built in Rust using egui.

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Compiles LLVM IR (bytecode) or C to .NET Assemblies