Pinned Repositories
TProver
Part II project - a theorem prover for propositional logic
bandcamp-tools
Bandcamp command line tools
bs
A command line tool to quickly switch between Git branches.
hugo-theme-noteworthy
A minimalist Hugo theme for writers and bloggers
ocaml-tptp
Library for reading and writing FOF and CNF formulas in TPTP format
testify
A toolkit with common assertions and mocks that plays nicely with the standard library
tf-task-test
compilers
📦 Docker image with installed compilers, interpreters and sandbox.
thomaslefeuvre's Repositories
thomaslefeuvre/bandcamp-tools
Bandcamp command line tools
thomaslefeuvre/tf-task-test
thomaslefeuvre/testify
A toolkit with common assertions and mocks that plays nicely with the standard library
thomaslefeuvre/hugo-theme-noteworthy
A minimalist Hugo theme for writers and bloggers
thomaslefeuvre/bs
A command line tool to quickly switch between Git branches.
thomaslefeuvre/TProver
Part II project - a theorem prover for propositional logic
thomaslefeuvre/ocaml-tptp
Library for reading and writing FOF and CNF formulas in TPTP format