Raphaël Cauderlier's repositories
dedukti-mode
Emacs major mode for Dedukti files
flycheck-dedukti
Flycheck integration for the dedukti language
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
adventofcode
My participation to Advent of Code 2017 (http://adventofcode.com/)
enhanced-ruby-mode
An enhanced ruby-mode for Emacs that uses Ripper in ruby 1.9+ to highlight and indent the source code
Holide
A translator from OpenTheory to Dedukti
michelson-semantics
A K semantics of Tezos' Michelson language.
my-emacs-config
elisp configuration files
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opensearch
OpenSearch search engine definitions for web browsers
OpenTezos
The complete encyclopedia of Tezos
smart-contracts
A few smart contracts
smtcoq
Communication between Coq and SAT/SMT solvers
Sukerujo
Syntactic sugar for Dedukti
tezos-developer-docs
Tezos Developer Docs (beta)
tezos-multisig-managed-onchain
A simple multisig with on-chain state management
verifast
Research prototype tool for modular formal verification of C and Java programs