hetzenmat

Pinned Repositories

dotfiles
Language:Emacs Lisp0 1 00
harrsh
Language:Scala00
logic
Logic utilities for Emacs
Language:Emacs Lisp00
mltt
Rules of the Martin-Löf type theory
Language:TeX00
Nonogram-Solver
Backtracking Nonogram Puzzle Solver written in Python 3
Language:Python6 2 01
ocaml.org
The official OCaml website.
Language:HTML0 0 00
pgf
A Portable Graphic Format for TeX
Language:TeX0 0 00
Protohackers-Racket
My Racket solutions to the protohackers challenges (https://protohackers.com).
Language:Racket1 1 00
vampire
The Vampire Theorem Prover
Language:C++0 0 00

hetzenmat's Repositories

hetzenmat/Nonogram-Solver
Backtracking Nonogram Puzzle Solver written in Python 3
Language:Python6 2 01
hetzenmat/Protohackers-Racket
My Racket solutions to the protohackers challenges (https://protohackers.com).
Language:Racket1 1 00
hetzenmat/dotfiles
Language:Emacs Lisp0 1 00
hetzenmat/harrsh
Language:Scala00
hetzenmat/logic
Logic utilities for Emacs
Language:Emacs Lisp00
hetzenmat/mltt
Rules of the Martin-Löf type theory
Language:TeX00
hetzenmat/ocaml.org
The official OCaml website.
Language:HTML0 0 00
hetzenmat/pgf
A Portable Graphic Format for TeX
Language:TeX0 0 00
hetzenmat/vampire
The Vampire Theorem Prover
Language:C++0 0 00
hetzenmat/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.
Language:OCaml00