Highlights
- Pro
Stars
A translator from Intel SSE intrinsics to Arm/Aarch64 NEON implementation
postgres ON DELETE CASCADE for django foreign keys
Gateway API Benchmarks provides a common set of tests to evaluate a Gateway API implementation.
Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!
Google's common Java, C++ and JavaScript library for parsing, formatting, and validating international phone numbers.
Staging repo for development of native port of TypeScript
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A Git-compatible VCS that is both simple and powerful
A HTML5/ES6 implementation of a renderer for iReal Pro playlists
The Harmonic Algorithm by Oscar South - A Project Spanning Music Analysis, Functional Programming & Machine Learning
🎶 Real-time audio spectrogram generator for the web
Large-scale Self-supervised Pre-training Across Tasks, Languages, and Modalities
A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.
Lean 3's obsolete mathematical components library: please use mathlib4
Standard MIDI Files: read / write / play
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
sqlite3 in ur indexeddb (hopefully a better backend soon)
sigp / rust-libp2p
Forked from libp2p/rust-libp2pThe Rust Implementation of libp2p networking stack.
A feature-rich command-line audio/video downloader
Detects usage of unsafe Rust in a Rust crate and its dependencies.