ryanakca
Debian Developer // Programming languages researcher & professor
Université du Québec à MontréalMontreal
Pinned Repositories
bibliosoph
Web-based Technical Reports manager
cevote
cevote — student council e-election program. My first project, you probably shouldn't bother trying to use it.
cmu-csd-thesis
LaTeX template for CMU CSD PhD theses
ET
Simple equipment tracker
GnuPPG
Gnu Portable Privacy Guard
lintex
removes TeX-related garbage files
rcsgrep
grep across RCS versions
ryanakca-dotfiles
My dotfiles
slingshot
Simple 2D shooting strategy game set in space, with gravity
Turnin-NG
Replacement for the original turnin/project scripts used in multiple Universities, such as Queen's University
ryanakca's Repositories
ryanakca/slingshot
Simple 2D shooting strategy game set in space, with gravity
ryanakca/Turnin-NG
Replacement for the original turnin/project scripts used in multiple Universities, such as Queen's University
ryanakca/ryanakca-dotfiles
My dotfiles
ryanakca/cmu-csd-thesis
LaTeX template for CMU CSD PhD theses
ryanakca/arxiv-collector
A little Python script to collect LaTeX sources for upload to the arXiv.
ryanakca/autolab-helper
SML framework for writing AutoLab autograders
ryanakca/biblatex-eptcs
ryanakca/chezmoi
Manage your dotfiles across multiple diverse machines, securely.
ryanakca/cmu-thesis
Latex starters for creating a CMU thesis or thesis proposal
ryanakca/docs
The open-source repo for docs.github.com
ryanakca/filter-rspamd
OpenSMTPD filter integration for the Rspamd daemon
ryanakca/filter-senderscore
OpenSMTPD filter integration for the SenderScore reputation
ryanakca/gitignore
A collection of useful .gitignore templates
ryanakca/gophernicus
Gophernicus is a modern, full-featured (and hopefully) secure gopher daemon
ryanakca/imapfilter
IMAP mail filtering utility
ryanakca/libasr
Portable asr. Work in progress.
ryanakca/macports-ports
The MacPorts ports tree
ryanakca/neomutt
:envelope: Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat
ryanakca/OCaml-libmpdclient
mpd client library implementation in OCaml.
ryanakca/OpenBSD-ports
Public git conversion mirror of OpenBSD's official cvs ports repository. Pull requests not accepted - send diffs to the ports@ mailing list.
ryanakca/openiked-portable
Internet Key Exchange version 2 (IKEv2) daemon - portable version of OpenBSD iked
ryanakca/OpenSMTPD
This is a *MIRROR* of the OpenSMTPD repository, but feel free to fork and submit pull requests !
ryanakca/OpenSMTPD-extras
This is the mirror of the official repository of OpenSMTPD addons
ryanakca/powerlevel10k
A Zsh theme
ryanakca/proof-at-the-end
This small package aims to provide a way to easily move proofs in the appendix.
ryanakca/Remove-Google-Redirection
Remove redirection and click-tracking in Google search results.
ryanakca/scripts.irssi.org
Script Repository for Irssi
ryanakca/strong-normalization
Formalizations of strong normalization proofs
ryanakca/web-scrobbler
Scrobble music all around the web!
ryanakca/www
Source files of the coq.inria.fr website (static part)