munro's Stars
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
stalwartlabs/jmap-server
Stalwart JMAP server
lucidrains/imagen-pytorch
Implementation of Imagen, Google's Text-to-Image Neural Network, in Pytorch
phiresky/sqlite-zstd
Transparent dictionary-based row-level compression for SQLite
Wilfred/difftastic
a structural diff that understands syntax 🟥🟩
Relento/lego_release
jart/cosmopolitan
build-once run-anywhere c library
antonxy/h264_glitcher
master-of-zen/Av1an
Cross-platform command-line AV1 / VP9 / HEVC / H264 encoding framework with per scene quality encoding
rustdesk/rustdesk
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
chrisvdweth/ml-toolkit
kuprel/min-dalle
min(DALL·E) is a fast, minimal port of DALL·E Mini to PyTorch
nadavrot/layout
Layout is a rust library and a tool that renders Graphviz dot files.
pola-rs/polars
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
coq-community/fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
mozilla/DeepSpeech
DeepSpeech is an open source embedded (offline, on-device) speech-to-text engine which can run in real time on devices ranging from a Raspberry Pi 4 to high power GPU servers.
rust-lang/portable-simd
The testing ground for the future of portable SIMD in Rust
dangowrt/owrt-ubi-installer
OpenWrt firmware installer for the Linksys E8450 aka. Belkin RT3200
madsmtm/menubar
Cross-platform native Rust menu library
predict-idlab/tsflex
Flexible time series feature extraction & processing
tahmidsadik/simple-db
A simple sql database written in rust.
yggdrasil-network/yggdrasil-go
An experiment in scalable routing as an encrypted IPv6 overlay network
fitzgen/bumpalo
A fast bump allocation arena for Rust
searx/searx
Privacy-respecting metasearch engine
pipcet/linux
Linux kernel source tree
sycamore-rs/sycamore
A library for creating reactive web apps in Rust and WebAssembly
ryanmcgrath/alchemy
An experimental GUI framework for Rust, backed by per-platform native widgets. React, AppKit/UIKit inspired. EXPERIMENTAL, runs on Cocoa right now. ;P
eusporg/alphaicon
α-Indirect Control in Onion-like Networks
evcxr/evcxr