Pinned Repositories
ada-traits-containers
Generic Ada Library for Algorithms and Containers
adventofcode
My participation to Advent of Code 2017 (http://adventofcode.com/)
camelide
An interpreter for Dedukti written in OCaml.
Dedukti
Implementation of the λΠ-calculus modulo rewriting
dedukti-mode
Emacs major mode for Dedukti files
dklib
General purpose, hand-written, dedukti files
flycheck-dedukti
Flycheck integration for the dedukti language
kubatipo
Attempt to encode Cubical Type Theory in Dedukti
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
wicd-mode.el
Client for the Wicd network connection manager written in Emacs Lisp
rafoo's Repositories
rafoo/dklib
General purpose, hand-written, dedukti files
rafoo/Dedukti
Implementation of the λΠ-calculus modulo rewriting
rafoo/dedukti-mode
Emacs major mode for Dedukti files
rafoo/flycheck-dedukti
Flycheck integration for the dedukti language
rafoo/kubatipo
Attempt to encode Cubical Type Theory in Dedukti
rafoo/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
rafoo/adventofcode
My participation to Advent of Code 2017 (http://adventofcode.com/)
rafoo/dkmeta
A tool to rewrite Dedukti terms using rewrite rules
rafoo/enhanced-ruby-mode
An enhanced ruby-mode for Emacs that uses Ripper in ruby 1.9+ to highlight and indent the source code
rafoo/focalize
The FoCaLiZe development environment
rafoo/Holide
A translator from OpenTheory to Dedukti
rafoo/inductor
Prototype implementation of a proof search algorithm for inductive predicate entailments.
rafoo/j-mode
Emacs major mode for editing J code.
rafoo/Libraries
A collection of hand-written files for Dedukti
rafoo/ligo-training
rafoo/michelson-semantics
A K semantics of Tezos' Michelson language.
rafoo/my-emacs-config
elisp configuration files
rafoo/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
rafoo/opensearch
OpenSearch search engine definitions for web browsers
rafoo/OpenTezos
The complete encyclopedia of Tezos
rafoo/ott
The Ott tool for writing definitions of programming languages and calculi
rafoo/smart-contracts
A few smart contracts
rafoo/smtcoq
Communication between Coq and SAT/SMT solvers
rafoo/stan-mode
Emacs mode for Stan.
rafoo/Sukerujo
Syntactic sugar for Dedukti
rafoo/tezedge
Utility crates for interacting with tezos types (e.g. for Smart Rollup kernels)
rafoo/tezos-developer-docs
Tezos Developer Docs (beta)
rafoo/tezos-multisig-managed-onchain
A simple multisig with on-chain state management
rafoo/verifast
Research prototype tool for modular formal verification of C and Java programs
rafoo/yunohost
YunoHost is an operating system aiming to simplify as much as possible the administration of a server. This repository corresponds to the core code, written mostly in Python and Bash.