-
Sphere-Packing-Lean Public
Forked from thefundamentaltheor3m/Sphere-Packing-LeanA Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
Lean Apache License 2.0 UpdatedJun 16, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJun 14, 2025 -
carleson Public
Forked from fpvandoorn/carlesonA formalized proof of Carleson's theorem in Lean
Lean Apache License 2.0 UpdatedMay 24, 2025 -
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
Lean Apache License 2.0 UpdatedMay 23, 2025 -
equational_theories Public
Forked from teorth/equational_theoriesA project to map out the relations between different equational theories of Magmas.
C Apache License 2.0 UpdatedMay 17, 2025 -
PrimeNumberTheoremAnd Public
Forked from AlexKontorovich/PrimeNumberTheoremAndblueprint for prime number theorem and more
Lean Apache License 2.0 UpdatedApr 20, 2025 -
ruffle Public
Forked from ruffle-rs/ruffleA Flash Player emulator written in Rust
-
cargo-expand Public
Forked from dtolnay/cargo-expandSubcommand to show result of macro expansion
Rust Apache License 2.0 UpdatedMar 25, 2025 -
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 16, 2024 -
gc-arena Public
Forked from kyren/gc-arenaExperimental system for rust garbage collection
Rust Creative Commons Zero v1.0 Universal UpdatedJul 24, 2024 -
Symphonia Public
Forked from pdeljanov/SymphoniaPure Rust multimedia format demuxing, tag reading, and audio decoding library
Rust Mozilla Public License 2.0 UpdatedJul 6, 2024 -
rustc-guide Public
Forked from rust-lang/rustc-dev-guideA guide to how rustc works and how to contribute to it.
Shell Apache License 2.0 UpdatedJun 23, 2024 -
tracing Public
Forked from tokio-rs/tracingApplication level tracing for Rust.
Rust MIT License UpdatedApr 2, 2024 -
wasm-bindgen Public
Forked from rustwasm/wasm-bindgenFacilitating high-level interactions between Wasm modules and JavaScript
Rust Apache License 2.0 UpdatedFeb 22, 2024 -
fluent-templates Public
Forked from XAMPPRocky/fluent-templatesEasily add Fluent to your Rust project.
Rust Apache License 2.0 UpdatedFeb 19, 2024 -
deno_core Public
Forked from denoland/deno_coreThe core engine at the heart of Deno
Rust UpdatedJan 29, 2024 -
nellymoser Public
Forked from ruffle-rs/nellymoserA pure Rust decoder for the Nellymoser audio codec
Rust Other UpdatedDec 23, 2023 -
-
rust Public
Forked from rust-lang/rustA safe, concurrent, practical language.
-
egui Public
Forked from emilk/eguiegui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Rust Apache License 2.0 UpdatedNov 24, 2023 -
rust-flash-lso Public
Forked from ruffle-rs/rust-flash-lsoA fast and safe parser for Adobe Flash Local Shared Object files (.sol), AMF0 and AMF3 in rust
Rust MIT License UpdatedNov 10, 2023 -
wgpu Public
Forked from gfx-rs/wgpuNative WebGPU implementation based on gfx-hal
Rust Mozilla Public License 2.0 UpdatedSep 21, 2023 -
nitter Public
Forked from zedeus/nitterAlternative Twitter front-end
Nim GNU Affero General Public License v3.0 UpdatedSep 17, 2023 -
jpegxr Public
Forked from bvibber/jpegxrRust wrapper for Microsoft's C JPEG XR codec library
-
unic-locale Public
Forked from zbraniecki/unic-localeUnic crates for locale management implementing Unicode UTS #35
Rust Apache License 2.0 UpdatedJul 22, 2023 -
webbrowser-rs Public
Forked from amodm/webbrowser-rsRust library to open URLs in the web browsers available on a platform
Rust Apache License 2.0 UpdatedApr 25, 2023 -
quick-xml Public
Forked from tafia/quick-xmlRust high performance xml reader and writer
Rust MIT License UpdatedApr 8, 2023 -
RABCDAsm Public
Forked from CyberShadow/RABCDAsmRobust ABC (ActionScript Bytecode) [Dis-]Assembler
D GNU General Public License v3.0 UpdatedMar 11, 2023 -
rust-xml_dom Public
Forked from johnstonskj/rust-xml_domA Rust crate providing a reasonably faithful implementation of the W3C DOM Core
Rust MIT License UpdatedFeb 27, 2023
{{ message }}