yurrriq
Highly functional yak stylist, {HoT,PL}T enthusiast, {Erlang,Lisp}er, Kubernaut, MaMuTh meddler, Nix user, (comics) reader, linguaphile, musician, philomath, &c
@sportradarMinneapolis, MN
Pinned Repositories
Idris2-Erlang
Erlang code generator for Idris 2
elli
Simple, robust and performant Erlang web server
software-foundations
Software Foundations in Idris
Idris-dev
A Dependently Typed Functional Programming Language
nixpkgs
Nix Packages collection & NixOS
dotfiles
My (semi-)literate dotfiles for Nix, Emacs, fish, etc, managed with home-manager and GNU Stow
exercism
My solutions to exercism.io
idris-logic
Propositional logic tools, inspired by the Coq standard library.
parser-combinators
Nils Anders Danielsson's Total Parser Combinators (mirror)
yurrriq's Repositories
yurrriq/APLInterpreter
A simple APL interpreter written in Scala
yurrriq/Articles
Various interesting articles, in PDF or PS form
yurrriq/clojure-scheme
Clojure to Scheme to C to the bare metal.
yurrriq/ClojureVST
Clojure-Based Audio Plug-Ins
yurrriq/codox-md
Markdown output writer for codox
yurrriq/coughup
A TeX invoice generation language
yurrriq/eredis
emacs redis library fork
yurrriq/erlang-csv
csv parser, optimized for performance
yurrriq/gap-pygments-lexer
A Pygments lexer for the GAP language
yurrriq/least
A last.fm API client for Clojure
yurrriq/logger
Lightweight logging utility for Ruby
yurrriq/ob-lilypond
org-babel lilypond language module
yurrriq/rebar_proper_plugin
PropEr plugin for Rebar
yurrriq/slate
A window management application (replacement for Divvy/SizeUp/ShiftIt)
yurrriq/verlang
yurrriq/zeta
An Erlang client for Riemann.