jules's repositories
hsMnlGenRandomData
Some examples of random data generation or arbitrary types using QuickCheck
AssemblerNotes
Some Notes on Programming in Assembler
HaskellDojo
Learn haskell by implementing its ecosystem.
type-systems
Implementations of various type systems in OCaml.
ParserPropFol
OCaml-parser of propositional and first-order-logic according to Harrison: handbook of practical logic and automated reasoning
LatexTemplate
LaTex template project for compilation with utf8 and XeTeX
ProofAssistant
Proof assistant for the systems Prop, Lp, L3 and K3 (propositional logics).
imp_interpreter
Interpreter for enhanced version of IMP (Small Imperative language)
LTL
A DSL for Linear Temporal Logic + Interface with Z3 for solving
prologDpllSatsolver
simple dpll sat solver written in prolog
hatt
Truth-table generator for classical propositional logic
thih
Typing Haskell in Haskell
Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.