jules's repositories
Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
AssemblerNotes
Some Notes on Programming in Assembler
000
HaskellDojo
Learn haskell by implementing its ecosystem.
hsMnlGenRandomData
Some examples of random data generation or arbitrary types using QuickCheck
Language:HaskellBSD-3-Clause000
imp_interpreter
Interpreter for enhanced version of IMP (Small Imperative language)
Language:Haskell000
LatexTemplate
LaTex template project for compilation with utf8 and XeTeX
Language:TeX000
ParserPropFol
OCaml-parser of propositional and first-order-logic according to Harrison: handbook of practical logic and automated reasoning
Language:OCaml000
prologDpllSatsolver
simple dpll sat solver written in prolog
Language:Prolog000
ProofAssistant
Proof assistant for the systems Prop, Lp, L3 and K3 (propositional logics).
Language:Haskell000
Language:TeX000
type-systems
Implementations of various type systems in OCaml.