-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedNov 26, 2025 -
-
-
mhrice Public
Monster Hunter Rise information website
-
-
dstsmodel Public
Convert Digimon Stories Time Stranger model file to Collada
Rust UpdatedSep 22, 2025 -
teakra Public
DSi/3DS DSP emulator, disassembler, assembler, and tester
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedAug 22, 2025 -
LookAndSay Public
Formalize Look-and-say sequence and related theory in Lean
Lean UpdatedAug 11, 2025 -
-
-
lmfdb Public
Forked from LMFDB/lmfdbL-Functions and Modular Forms Database
Python Other UpdatedJan 11, 2025 -
3ds-save-tool Public
Tools to extract 3DS format save file. For richer functionality, use https://github.com/wwylele/save3ds
-
-
-
not-sliding-puzzle Public
A puzzle I made to shitpost in r/AnarchyChess
-
-
chocopy-rs Public
ChocoPy compiler written in Rust
-
save3ds Public
Extract/Import/FUSE for 3DS save/extdata/database.
-
-
typed-html Public
Forked from bodil/typed-htmlType checked JSX for Rust
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedJun 28, 2022 -
-
WinRM Public
Forked from WinRb/WinRMRuby library for Windows Remote Management
Ruby Apache License 2.0 UpdatedApr 26, 2022 -
rust-minidump Public
Forked from rust-minidump/rust-minidumpType definitions, parsing, and analysis for the minidump file format.
Rust MIT License UpdatedFeb 23, 2022 -
bitflags Public
Forked from bitflags/bitflagsA macro to generate structures which behave like bitflags
Rust Apache License 2.0 UpdatedFeb 6, 2022 -
crc-rs Public
Forked from mrhooray/crc-rsRust implementation of CRC(16, 32, 64) with support of various standards
Rust Apache License 2.0 UpdatedJan 19, 2022 -
astc-decode Public
A software ASTC decoder in rust, which supports ASTC LDR profile
-
codeview-rs Public
Rust library for generating CodeView debug information
Rust Apache License 2.0 UpdatedJun 1, 2020 -
faerie Public
Forked from m4b/faerieMagical ELF and Mach-o object file writer backend
Rust MIT License UpdatedMar 2, 2020
{{ message }}