-
action-install-gh-release Public
Forked from jaxxstorm/action-install-gh-releaseGitHub Action to install the Github Release binaries
JavaScript Apache License 2.0 UpdatedJan 31, 2023 -
agda-metis Public
Metis Prover Reasoning for Propositional Logic in Agda
-
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedNov 25, 2025 -
agda-prop Public archive
A Library for Classical Propositional Logic in Agda
-
-
athena Public archive
Translates Metis ATP proofs to the Agda code
-
fdocs Public
Forked from mkdocs/mkdocsProject documentation with Markdown.
Python BSD 2-Clause "Simplified" License UpdatedFeb 21, 2025 -
flask-ponywhoosh Public
A Flask full-text search engine
-
hott-cheatsheets Public archive
Homotopy type theory cheatsheets to read the HoTT Book
-
imputation Public
ARSI imputation algorithm for categorical databases
-
-
-
mozart2 Public
Forked from mozart/mozart2Mozart Programming System v2
Oz BSD 2-Clause "Simplified" License UpdatedNov 18, 2025 -
online-atps Public
Run ATPs from SystemOnTPTP
-
ponywhoosh Public
Make searchable your database over PonyORM
-
prop-pack Public archive
TPTP problems and TSTP solutions of problems in classical propositional logic.
-
-
smoke Public
Forked from SamirTalwar/smokeRuns tests against anything, using command-line arguments, STDIN, STDOUT and STDERR.
-
-
the-pigeonhole-principle Public
A formalisation of the pigeon theorem in UTT.
TeX MIT License UpdatedDec 15, 2020 -
vscode-oz Public
Forked from mozart/vscode-ozBring the magic of Oz to vscode
TypeScript GNU General Public License v3.0 UpdatedNov 18, 2025
{{ message }}