rafoo/coq_obj
sigma calculus in Coq
Developer Profile
rafoo
Discovered public repositories for rafoo in the GitHub catalog.
rafoo/flycheck-dedukti
Flycheck integration for the dedukti language
rafoo/dedukti-inductive
Library for reflecting inductive types in Dedukti
rafoo/emacs-xkcd
Read xkcd from Emacs
rafoo/dklib
General purpose, hand-written, dedukti files
rafoo/trombi
A game for learning faces.
rafoo/flycheck
Modern on the fly syntax checking for GNU Emacs
rafoo/melpa
Scripts for building Emacs packages from Version Control
rafoo/dedukti-mode
Emacs major mode for Dedukti files
rafoo/camelide
An interpreter for Dedukti written in OCaml.
rafoo/stimer
A simple timer and a speedcube timer for Emacs
rafoo/wicd-mode.el
Client for the Wicd network connection manager written in Emacs Lisp
rafoo/my-emacs-config
elisp configuration files