icecream17
Follow
-
metamath-knife Public
Forked from metamath/metamath-knifeMetamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Rust Apache License 2.0 UpdatedMar 8, 2025 -
set.mm Public
Forked from metamath/set.mmMetamath source file for logic and set theory
HTML Other UpdatedMar 7, 2025 -
-
-
-
-
solver Public
A sudoku solver using logical strategies made with create react app.
-
metamath-blueprints Public
Forked from tirix/metamath-blueprintsMetamath Blueprints
UpdatedFeb 28, 2025 -
bot-rating-system Public
An unfinished modified version of Glicko-2 with optimizations for various levels of deterministicness
-
pulsar Public
Forked from pulsar-edit/pulsar
Community build of the hackable text editor
JavaScript Other UpdatedFeb 22, 2025 -
words Public
A repository of english words
Python Creative Commons Zero v1.0 Universal UpdatedJan 30, 2025 -
Nv7Haven Public
Forked from Nv7-GitHub/Nv7HavenThe server for Nv7Haven!
Go MIT License UpdatedJan 19, 2025 -
mm-tactics Public
Forked from GinoGiotto/mm-tacticsRumm tactics for finding Metamath proofs of propositional logic
Objective-C++ Creative Commons Zero v1.0 Universal UpdatedJan 5, 2025 -
codingame-solutions Public
My solutions to problems on codingame.com
JavaScript UpdatedDec 31, 2024 -
-
-
metamath-website-seed Public
Forked from metamath/metamath-website-seedStarting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files
HTML Other UpdatedNov 24, 2024 -
itertools Public
Forked from rust-itertools/itertoolsExtra iterator adaptors, iterator methods, free functions, and macros.
Rust Apache License 2.0 UpdatedNov 24, 2024 -
-
-
mmajs Public
Metamath verifier and proof assistant, with tactics!
Rust Apache License 2.0 UpdatedAug 19, 2024 -
annotate-snippets-rs Public
Forked from rust-lang/annotate-snippets-rsLibrary for snippet annotations
Rust Apache License 2.0 UpdatedAug 19, 2024 -
rumm Public
Forked from tirix/rummA tactics-based Metamath proof language
Rust UpdatedAug 19, 2024 -
mmj2 Public
Forked from digama0/mmj2mmj2 GUI Proof Assistant for the Metamath project
Java GNU General Public License v2.0 UpdatedAug 16, 2024 -
-
-
GHS-Athletics Public
Forked from NickCodesStuf/GHS-AthleticsA website for GHS Athletics
TypeScript UpdatedMar 23, 2024 -
content Public
Forked from mdn/contentThe content behind MDN Web Docs
HTML Other UpdatedFeb 27, 2024 -
-