Pinned Repositories
gapt
GAPT: General Architecture for Proof Theory
calculon
Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
isabelle-connect
OCaml implementation of connection to Isabellle/HOL
skypelogs
A parser for Skype logs
tla-lc
An encoding of the operator structure of TLA into lambda calculus
TLA-Recursion
Draft for a recursion module for TLA
tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
vampire
The Vampire Theorem Prover
quicquid's Repositories
quicquid/tla-lc
An encoding of the operator structure of TLA into lambda calculus
quicquid/TLA-Recursion
Draft for a recursion module for TLA
quicquid/isabelle-connect
OCaml implementation of connection to Isabellle/HOL
quicquid/skypelogs
A parser for Skype logs
quicquid/calculon
Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
quicquid/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
quicquid/cov-scripts
Some scripts to evaluate Austrian statistics regarding covid
quicquid/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
quicquid/dolmen
An OCaml library providing clean and flexible parser for languages used in automated deduction
quicquid/Encyclopedia
An Open Encyclopedia of Proof Systems
quicquid/Examples
A collection of TLA+ specifications of varying complexities
quicquid/gapt
GAPT: General Architecture for Proof Theory
quicquid/hp-envy-15-ah150sa
DSDT for hp-envy-15-ah150sa
quicquid/L5P-Keyboard-RGB
Cross platform software to control the RGB/lighting of the 4 zone keyboard included in the 2020, 2021 and 2022 lineup of the Lenovo Legion laptops. Works on Windows and Linux.
quicquid/Leo-III
Higher-order Theorem Prover
quicquid/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.
quicquid/paste-py
Paste service that uses Pygments
quicquid/RewriteTool
quicquid/scala-tptp-parser
A parser for the TPTP logic languages for automated theorem proving written in Scala
quicquid/smtlib-mode
An Emacs major mode to edit and run SMTLIB v2 files
quicquid/starexec-helpers
quicquid/TLA-Stack-Puzzle
quicquid/TlaCubicle
quicquid/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
quicquid/tptp-z3
quicquid/v2-tlapm
The rewrite of TLAPM, the TLAPS proof manager
quicquid/vampire
The Vampire Theorem Prover
quicquid/workadventure-test
quicquid/zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
quicquid/zola-sam
:globe_with_meridians: A Simple and Minimalist theme with a focus on typography and content.