Pinned Repositories
metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
set.mm
Metamath source file for logic and set theory
Emetamath
A metamath plugin for Eclipse
metamath-blueprints
Metamath Blueprints
metamath-knife
metamath-vspa
A Visual Studio extension and LSP server for Metamath
metamath-web
Metamath web server
mm-web-ui
A user interface for the Metamath web pages
q0.mm
A Metamath library for the Q0 logic
rumm
A tactics-based Metamath proof language
tirix's Repositories
tirix/Emetamath
A metamath plugin for Eclipse
tirix/metamath-blueprints
Metamath Blueprints
tirix/metamath-web
Metamath web server
tirix/mm-web-ui
A user interface for the Metamath web pages
tirix/q0.mm
A Metamath library for the Q0 logic
tirix/metamath-vspa
A Visual Studio extension and LSP server for Metamath
tirix/rumm
A tactics-based Metamath proof language
tirix/metamath-knife
tirix/set-noov.mm
A set.mm version with no overloading
tirix/Blockchain
A verified permissioned centralized Blockchain for Isabelle/HOL
tirix/connector-prestashop
Connect Odoo with Prestashop
tirix/druid
A data-first Rust-native UI design toolkit.
tirix/druid-widget-nursery
A place where Druid widgets come to mature before moving to the Druid repo.
tirix/layout
Layout is a rust library and a tool that renders Graphviz dot files.
tirix/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
tirix/metamath-blueprints-rs
Blueprints for Metamath
tirix/metamath-exe
Metamath program - source code for the Metamath executable
tirix/metamath-website-seed
Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files
tirix/odoo-cloud-platform
C2C Odoo cloud platform addons
tirix/odoo-shopinvader
Odoo Modules. Sorry Magento, Shopinvader is coming
tirix/osTicket-1.8
The osTicket open source ticketing system official project repository, for versions 1.8 and later
tirix/search-engine
tirix/set.mm
Metamath source file for logic and set theory
tirix/vscode-rust
Rust extension for Visual Studio Code
tirix/web
Odoo web client UI related addons
tirix/yamma
VSCode extension for Metamath