Beast code in Giters

Joshua's repositories

Formalization of game theory in LEAN

Language:Lean200

Program to monitor the consumption of gas used for heating in a household.

Language:PythonGPL-3.0200

A port of Coq to Javascript -- Run Coq in your Browser

Language:JavaScriptNOASSERTION100

Write formal proofs in natural language and Latex.

Language:HaskellGPL-3.0000

Pygments is a generic syntax highlighter written in Python

Language:PythonBSD-2-Clause000

Python binding for NuSMV.

Language:PythonLGPL-3.0000

dmenu interface for getting OATH codes from a YubiKey

Language:PythonGPL-3.0000