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/wicd-mode.el
Client for the Wicd network connection manager written in Emacs Lisp
rafoo/ada-traits-containers
Generic Ada Library for Algorithms and Containers
rafoo/camelide
An interpreter for Dedukti written in OCaml.
rafoo/coq_obj
sigma calculus in Coq
rafoo/dedukti-inductive
Library for reflecting inductive types in Dedukti
rafoo/emacs-xkcd
Read xkcd from Emacs
rafoo/example_ynh
Example package for YunoHost applications.
rafoo/flycheck
Modern on the fly syntax checking for GNU Emacs
rafoo/FortFortFort
Appli photomaton
rafoo/logitest
Testing tool for nunchaku and other logic-related programs
rafoo/melpa
Scripts for building Emacs packages from Version Control
rafoo/nunchaku
Model finder for higher-order logic
rafoo/stimer
A simple timer and a speedcube timer for Emacs
rafoo/trombi
A game for learning faces.
rafoo/zipperposition
An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting