gum's Projects
Emacs configuration of a tinkerer and ex-vimmer.
100 days of algorithms
a diy os
Functional and logical language programs- SML and Prolog
An open source Xilinx Spartan 6 miniPCIe development board.
Aggregates the data from a Facebook user's friends' likes.
agu system
Scripts that generate Arch Linux VMs
A purely functional package manager for Arch Linux and the AUR, written in Haskell. - Github mirror
⚡️ Curated list of Prolog packages and resources
A Primer on Bezier Curves
For when 'C-y M-y M-y M-y' gets you down
Helpful description of the arguments to C/C++ functions and macros
Archival repository of category theory developments from many authors, mostly in Coq
Sample implementation and specification of CLIM 3.
Clojure to PHP compiler
This is the home of O'Reilly's Clojure Cookbook - http://clojure-cookbook.com
Clojure to Scheme to C to the bare metal.
analysis / versionning of french civil code
Functional Programming Course
Coursera materials downloader.
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
JSON in Clojure
duckduckgo elisp cheatsheet
Deuce is (not yet) Emacs under Clojure
Presenting slides with Emacs
My Emacs configurations written in org-mode
Configurationize all the things