-
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Standard ML Other UpdatedSep 22, 2026 -
-
-
-
-
pi-extensions Public
Forked from charles-cooper/pi-extensionspersonal extensions to pi agent
TypeScript MIT License UpdatedSep 10, 2026 -
coqhammer Public
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
-
-
-
-
-
holbuild Public
Forked from HOL-Theorem-Prover/holbuildholproject.toml based builds for hol4
Standard ML BSD 3-Clause "New" or "Revised" License UpdatedJul 28, 2026 -
-
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
-
-
-
-
diffnav-extra Public
Forked from dlvhdr/diffnavA fork of DiffNav with extra features
Go MIT License UpdatedJun 5, 2026 -
mcat Public
Forked from Skardyy/mcatTerminal image, video, and Markdown viewer
Rust MIT License UpdatedMay 28, 2026 -
devtools Public
Various useful scripts for managing software development with git and AI agents
Shell UpdatedMay 26, 2026 -
micro Public
Forked from micro-editor/microA modern and intuitive terminal-based text editor
Go MIT License UpdatedMay 22, 2026 -
micro-plugin-channel Public
Forked from micro-editor/plugin-channelOfficial plugin channel for micro
UpdatedMay 22, 2026 -
-
-
micro-syntax-sml-hol4 Public
Micro syntax highlighting for SML and HOL4
Standard ML MIT License UpdatedMar 6, 2026 -
money-split Public
Track shared expenses and debts among groups of friends.
TypeScript UpdatedFeb 15, 2026 -
vyper-hol Public
Forked from verifereum/vyper-holFormal specification and verification of Vyper
Standard ML GNU General Public License v3.0 UpdatedFeb 2, 2026 -
risc0-lean-example Public
Forked from anoma/risc0-lean-exampleExample of Lean 4 in RISC0 guest
Rust Apache License 2.0 UpdatedNov 6, 2025 -
-
lean-risc0-init Public
Forked from anoma/lean-risc0-initLean4 Init library for RISC0
Lean Apache License 2.0 UpdatedOct 31, 2025
{{ message }}