LegionMammal978
Follow
-
binaryen Public
Forked from WebAssembly/binaryenOptimizer and compiler/toolchain library for WebAssembly
WebAssembly Apache License 2.0 UpdatedApr 30, 2026 -
webgl-from-wasm Public
Proof of concept for accessing the DOM from WASM without glue functions.
WebAssembly Creative Commons Zero v1.0 Universal UpdatedApr 27, 2026 -
-
set.mm Public
Forked from metamath/set.mmMetamath source file for logic and set theory
HTML Other UpdatedApr 16, 2026 -
medusa-matings Public
Patches for the Medusa tools for polynomial matings.
Shell Creative Commons Zero v1.0 Universal UpdatedMar 5, 2026 -
turing_machine_explorer Public
Fork of https://codeberg.org/ajwade/turing_machine_explorer.
-
metamath-turing-machines Public
Forked from CatsAreFluffy/metamath-turing-machinesmetamath proof enumerators and other things
Tcl MIT License UpdatedFeb 11, 2026 -
bbchallenge Public
Forked from bbchallenge/bbchallengeFrontend of https://bbchallenge.org
HTML UpdatedJul 8, 2025 -
ecma262 Public
Forked from tc39/ecma262Status, process, and documents for ECMA-262
HTML Other UpdatedJun 25, 2025 -
rust-from-ocaml Public
A series of scripts to bootstrap rustc from the last OCaml version.
-
sligocki-busy-beaver Public
Forked from sligocki/busy-beaverTools for finding Busy Beaver Turing Machines and Proving others as non-halting
Rust MIT License UpdatedJun 1, 2025 -
Rust bindings for the Python interpreter
Rust Apache License 2.0 UpdatedApr 13, 2025 -
flint Public
Forked from flintlib/flintFLINT (Fast Library for Number Theory)
C GNU Lesser General Public License v3.0 UpdatedApr 4, 2025 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedJan 12, 2025 -
oxipng Public
Forked from oxipng/oxipngMultithreaded PNG optimizer written in Rust
Rust MIT License UpdatedAug 7, 2024 -
Mthmtca Public
A version of Mathematica for golfing purposes.
-
-
-
-
-
block-ciphers Public
Forked from RustCrypto/block-ciphersCollection of block cipher algorithms written in pure Rust
Rust UpdatedSep 15, 2023 -
-
content Public
Forked from mdn/contentThe content behind MDN Web Docs
Markdown Other UpdatedApr 6, 2023 -
hyper Public
Forked from hyperium/hyperAn HTTP library for Rust
Rust MIT License UpdatedApr 3, 2023 -
rust-cc Public
Forked from frengor/rust-ccRust cycle collector.
Rust Apache License 2.0 UpdatedMar 17, 2023 -
qcell Public
Forked from uazu/qcellStatically-checked alternatives to RefCell and RwLock
Rust Apache License 2.0 UpdatedJan 1, 2023 -
libc Public
Forked from rust-lang/libcRaw bindings to platform APIs for Rust
Rust Apache License 2.0 UpdatedDec 14, 2022 -
-
miratope-rs Public
Forked from galoomba1/miratope-rsA tool for building and visualizing polytopes.
Rust MIT License UpdatedFeb 20, 2022