arthuraa/coq-utils
Some basic libraries for Coq.
Developer Profile
arthuraa
Discovered public repositories for arthuraa in the GitHub catalog.
arthuraa/sf-grader
Auto grader for Software Foundations
arthuraa/popl2014-papers
Public repository.
arthuraa/poleiro
A blog about Coq
arthuraa/dossier
Public repository.
arthuraa/yesod-blog
An example blog written in Yesod.
arthuraa/quadra
An addictive action puzzle game with single player and multiplayer capabilities (Internet or LAN).
arthuraa/OpaChat
A simple scalable, real-time web chat application in Opa
arthuraa/project
Public repository.
arthuraa/el-get
Manage the external elisp bits and pieces upon which you depend!
arthuraa/cis670-project
Oh yeah
arthuraa/GIMME
XMMS2 client for GNU Emacs
arthuraa/cutelittlethings
Public repository.
arthuraa/emacs-files
Personal configuration files for Emacs
arthuraa/plink
Public repository.
arthuraa/mongomapper
A Ruby Object Mapper for Mongo
arthuraa/yaml-mode
The emacs major mode for editing files in the YAML data serialization format.
arthuraa/umamao
Free and open source Q&A software, open source stackoverflow style app written in ruby, rails, mongomapper and mongodb.
arthuraa/Projeto-mc823
Public repository.