tirix
Follow
-
set.mm Public
Forked from metamath/set.mmMetamath source file for logic and set theory
HTML Other UpdatedMar 15, 2025 -
metamath-knife Public
Forked from metamath/metamath-knife -
-
set-noov.mm Public
A set.mm version with no overloading
-
metamath-exe Public
Forked from metamath/metamath-exeMetamath program - source code for the Metamath executable
C GNU General Public License v2.0 UpdatedSep 18, 2024 -
-
-
-
layout Public
Forked from nadavrot/layoutLayout is a rust library and a tool that renders Graphviz dot files.
Rust MIT License UpdatedMay 20, 2024 -
Odoo web client UI related addons
JavaScript GNU Affero General Public License v3.0 UpdatedApr 2, 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 UpdatedOct 25, 2023 -
yamma Public
Forked from glacode/yammaVSCode extension for Metamath
TypeScript UpdatedOct 18, 2023 -
lets-prove-leftpad Public
Forked from hwayne/lets-prove-leftpadProving leftpad correct in a dozen different ways
SystemVerilog Other UpdatedAug 17, 2023 -
metamath-vspa Public
A Visual Studio extension and LSP server for Metamath
-
vscode-rust Public
Forked from rust-lang/vscode-rustRust extension for Visual Studio Code
TypeScript Other UpdatedFeb 13, 2022 -
druid Public
Forked from linebender/druidA data-first Rust-native UI design toolkit.
Rust Apache License 2.0 UpdatedJan 21, 2022 -
druid-widget-nursery Public
Forked from linebender/druid-widget-nurseryA place where Druid widgets come to mature before moving to the Druid repo.
Rust UpdatedJan 30, 2021 -
odoo-shopinvader Public
Forked from shopinvader/odoo-shopinvaderOdoo Modules. Sorry Magento, Shopinvader is coming
Python UpdatedJul 27, 2020 -
-
odoo-cloud-platform Public
Forked from camptocamp/odoo-cloud-platformC2C Odoo cloud platform addons
Python GNU Affero General Public License v3.0 UpdatedJun 19, 2020 -
connector-prestashop Public
Forked from florian-dacosta/connector-prestashopConnect Odoo with Prestashop
Python UpdatedMar 26, 2020 -
-
mm-web-ui Public
A user interface for the Metamath web pages
-
Blockchain Public
Forked from fu-dietersheim/BlockchainA verified permissioned centralized Blockchain for Isabelle/HOL
Isabelle GNU General Public License v3.0 UpdatedJul 28, 2017 -
q0.mm Public
A Metamath library for the Q0 logic
-
osTicket-1.8 Public
Forked from osTicket/osTicketThe osTicket open source ticketing system official project repository, for versions 1.8 and later
PHP GNU General Public License v2.0 UpdatedJan 3, 2016