Repositories
LegionMammal978/mm-verifier-tests
Edge-case tests for Metamath verifiers.
LegionMammal978/rust-from-ocaml
A series of scripts to bootstrap rustc from the last OCaml version.
LegionMammal978/webgl-from-wasm
Proof of concept for accessing the DOM from WASM without glue functions.
LegionMammal978/LegionMammal978.github.io
LegionMammal978/binaryen
Optimizer and compiler/toolchain library for WebAssembly
LegionMammal978/medusa-matings
Patches for the Medusa tools for polynomial matings.
LegionMammal978/turing_machine_explorer
Fork of https://codeberg.org/ajwade/turing_machine_explorer.
LegionMammal978/metamath-turing-machines
metamath proof enumerators and other things
LegionMammal978/set.mm
Metamath source file for logic and set theory
LegionMammal978/ecma262
Status, process, and documents for ECMA-262
LegionMammal978/oxipng
Multithreaded PNG optimizer written in Rust
LegionMammal978/sligocki-busy-beaver
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
LegionMammal978/pyo3
Rust bindings for the Python interpreter
LegionMammal978/flint
FLINT (Fast Library for Number Theory)
LegionMammal978/xee
XPath, XSLT
LegionMammal978/rust
Empowering everyone to build reliable and efficient software.
LegionMammal978/bbchallenge
Frontend of https://bbchallenge.org
LegionMammal978/browser-compat-data
This repository contains compatibility data for Web technologies as displayed on MDN
LegionMammal978/Mthmtca
A version of Mathematica for golfing purposes.
LegionMammal978/Interpreters
LegionMammal978/Troll-Online
Clone of the private toelf412/Troll-Online repository.
LegionMammal978/bus-app
LegionMammal978/BGGP
Binary Golf Grand Prix
LegionMammal978/bigfoot-sim
Accelerated Bigfoot simulator
LegionMammal978/memdir
LegionMammal978/block-ciphers
Collection of block cipher algorithms written in pure Rust
LegionMammal978/owning-key
LegionMammal978/content
The content behind MDN Web Docs
LegionMammal978/hyper
An HTTP library for Rust