agumonkey Goto Github PK

.emacs.d

Emacs configuration of a tinkerer and ex-vimmer.

100days

100 days of algorithms

adiyos

a diy os

adv_prog_lang

Functional and logical language programs- SML and Prolog

aggregate-1

An open source Xilinx Spartan 6 miniPCIe development board.

aggregate-data-from-likes-of-friends

Aggregates the data from a Facebook user's friends' likes.

agu

agu system

agumonkey.github.io

archmaker

Scripts that generate Arch Linux VMs

aura

A purely functional package manager for Arch Linux and the AUR, written in Haskell. - Github mirror

awesome-prolog

⚡️ Curated list of Prolog packages and resources

bezierinfo

A Primer on Bezier Curves

browse-kill-ring

For when 'C-y M-y M-y M-y' gets you down

bwfp

c-eldoc

Helpful description of the arguments to C/C++ functions and macros

cats

Archival repository of category theory developments from many authors, mostly in Coq

climatis

Sample implementation and specification of CLIM 3.

clj-php

Clojure to PHP compiler

clojure-cookbook

This is the home of O'Reilly's Clojure Cookbook - http://clojure-cookbook.com

clojure-scheme

Clojure to Scheme to C to the bare metal.

code.civil.fr

analysis / versionning of french civil code

course

Functional Programming Course

coursera

Coursera materials downloader.

cs410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

data.json

JSON in Clojure

ddg_elisp_cheatsheet

duckduckgo elisp cheatsheet

deuce

Deuce is (not yet) Emacs under Clojure

doc-present

Presenting slides with Emacs

dot-emacs

My Emacs configurations written in org-mode

dotfiles

Configurationize all the things