Alex Hubers's repositories
haskell-pretty-symbols
Emacs mode for prettification of Haskell symbols
agda-stdlib
The Agda standard library
android-mode
Emacs minor mode for Android application development
cedille-ordinals
The Ordinals Encoded in Cedille
codeigniter-base-model
CodeIgniter base CRUD model to remove repetition and increase productivity
no-swayze-no-wayze
Color analysis on Patrick Swayze images
CSC341
Course source for CSC341 at Grinnell College for Spring 2024
CSC341-materials
Course materials for CSC:341, Grinnell College, Spring 2024
CSStipendRankings
https://csstipendrankings.org
data-science
This is an example for the Data Science Course!
example-for-my-presentation
This is an example repository
github-misc-scripts
GitHub scripts
gitignore
A collection of useful .gitignore templates
haddock
Haskell Documentation Tool
lila
♞ lichess.org: the forever free, adless and open source chess server ♞
markdown
Convert Markdown to HTML, with XSS protection
new.github.io
new.github.io
pandocexample
An example using Pandoc to convert .md to .pdf and .tex
replace-colorthemes
Replace color-theme with Emacs theme framework
scotch-box
Scotch Box is a preconfigured Vagrant Box with a full array of LAMP Stack features to get you up and running with Vagrant in no time.
swap
Exchange rates library for PHP
wc3-build-orders
prototype for a build order site like spawningtool.com but for wc3
xhaskell
Exercism Exercises in Haskell