chsticksel/ppx_trace_log
Syntax extension to insert or ignore logging statements
Developer Profile
chsticksel
Discovered public repositories for chsticksel in the GitHub catalog.
chsticksel/kind2-dev
Public repository.
chsticksel/smtlib-mode
An Emacs major mode to edit and run SMTLIB v2 files
chsticksel/folproof
A Javascript First-Order Logic (FOL) proof verifier
chsticksel/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
chsticksel/cvc4-ocaml
OCaml bindings for CVC4
chsticksel/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
chsticksel/ocamlczmq
Ocaml binding to the high-level C binding for ØMQ