|
C++ |
6 |
Various digital signature verification algorithm implementations and test code |
Jun 08, 2021 |
|
C |
47 |
Metamath program - source code for the Metamath executable |
Nov 24, 2022 |
|
C++ |
9 |
Metamath in C++ |
May 30, 2022 |
|
Rust |
3 |
Metamath web server |
Feb 24, 2022 |
|
Rust |
227 |
Metamath Zero specification language |
Aug 12, 2022 |
|
Lean |
15 |
Lean 4 Metamath verifier |
Jan 28, 2022 |
|
TeX |
35 |
Source of metamath book |
Nov 24, 2022 |
|
TypeScript |
5 |
VSCode extension for Metamath |
Apr 18, 2023 |
|
Python |
26 |
Metamath verifier in Python |
Mar 07, 2023 |
|
HTML |
170 |
Test suite for Markdown implementations |
May 12, 2023 |
|
JavaScript |
2 |
Test suite for OpenActive implementations |
Dec 12, 2023 |
|
Scala |
3 |
A Metamath verifier in Scala |
Jul 24, 2021 |
|
Java |
4 |
A metamath plugin for Eclipse |
Feb 21, 2022 |
|
JavaScript |
3 |
Internal test harness for DNSLink implementations |
Jun 08, 2022 |
|
Python |
8 |
Test cases for validating BagIt implementations |
Nov 18, 2021 |
|
JavaScript |
8 |
Test harness for Javascript libsodium implementations |
Jan 14, 2022 |
|
Rust |
10 |
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct. |
Mar 13, 2023 |
|
Objective-C++ |
5 |
Metamath database for dependent type theory |
May 12, 2022 |
|
Python |
2 |
It's a poorly named metamath verifier |
Jan 06, 2020 |
|
Prolog |
104 |
It's a poorly named metamath verifier |
Aug 19, 2022 |
|
Arc |
3 |
metamath-like proof checker in arc |
Mar 28, 2016 |
|
Nim |
18 |
Formatics - Metamath verifier written in Nim. |
Dec 29, 2022 |
|
Common Lisp |
3 |
Metamath library/verifier in Common Lisp |
Oct 02, 2018 |
|
Vim script |
9 |
vim mode for editing metamath files |
Sep 28, 2021 |
|
Rust |
2 |
A tactics-based Metamath proof language |
Feb 25, 2023 |
|
Rust |
3 |
Use RISC Zero to check Metamath |
Apr 25, 2023 |
|
Rust |
4 |
A container to test bulletproofs gadgets implementations |
Mar 31, 2022 |
|
Go |
8 |
Many queue implementations with a test-suite |
Jul 18, 2022 |
|
C |
5 |
Unit test suite for data structure implementations |
Mar 16, 2019 |
|
JavaScript |
21 |
A test harness for Feathers service implementations |
Jan 28, 2023 |
|
JavaScript |
3 |
Test for Logux Back-end Protocol implementations |
Jan 05, 2022 |
|
Python |
3 |
Test suite of reader and writer implementations |
Mar 02, 2022 |
|
None |
25 |
Test vectors for testing compliant Ion implementations. |
Jan 02, 2022 |
|
PHP |
2 |
Test implementations of design patterns in PHP |
Jan 22, 2023 |
|
JavaScript |
3 |
Compliance Test Kit (CTK) for Canvas implementations |
Mar 22, 2023 |
|
JavaScript |
33 |
Compare and test various custom error implementations. |
May 24, 2023 |
|
Python |
2 |
Test driver for Activity Streams 2.0 implementations |
Dec 01, 2015 |
|
Rust |
4 |
A metamath web site generator in rust |
Jan 31, 2022 |
|
None |
4 |
A Metamath library for the Q0 logic |
Feb 24, 2022 |
|
Inno Setup |
4 |
Test vectors for testing compliant Ion Schema implementations. |
Jan 26, 2022 |
|
HTML |
2 |
Test suite for server implementations of Magery templates |
Jan 02, 2019 |
|
Haskell |
34 |
Test suite for implementations of Featherweight Generic Go |
Sep 10, 2021 |
|
Shell |
8 |
Execute spec-test against of different bundler implementations. |
Mar 22, 2023 |
|
CMake |
5 |
Yuni library test environment (Scheme implementations build script) |
Apr 11, 2023 |
|
Shell |
2 |
Execute spec-test against of different bundler implementations. |
Mar 20, 2023 |
|
Python |
3 |
Generate test objects for RPKI ASPA profile implementations |
Sep 01, 2022 |
|
Python |
8 |
Circuit benchmarks (test cases) for formal verification of zk circuits |
Nov 28, 2022 |
|
None |
2 |
The current test and formal verification status for the CGRA. |
Feb 04, 2023 |
|
Java |
3 |
mmj2 GUI Proof Assistant for the Metamath project |
May 13, 2020 |
|
Java |
60 |
mmj2 GUI Proof Assistant for the Metamath project |
Aug 07, 2022 |