Emacs major mode for Lean 4

Automatic testing of Haskell programs.

A global timer facility in Elixir

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

Nix Packages collection & NixOS

Auto-format source code in many languages with one command

A nix overlay for Erlang Releases

xmonad config

GNU/Linux/nix client for DroidCam

A command line interface for while_parser library

A tiling window manager for macOS based on binary space partitioning

Title page for final degree project of ETSIINF UPM.

😎 Awesome lists about all kinds of interesting topics

A Haskell library for typesafe music composition

A declarative, type-safe UI library for PureScript.

Sources for the PureScript book

Scripts to build your own IPsec VPN server, with IPsec/L2TP, Cisco IPsec and IKEv2

An Emacs framework for the stubborn martian hacker

Master programming by recreating your favorite technologies from scratch.

HTTP REST client tool for emacs

Advent of Code 2017

A modern LaTeX Beamer theme

modified version of WiringPi for OrangePi PC2.

A minimalist Beamer theme with a watermark in the background

JSON instances generation and validation from JSON Schema and other JSON data descriptions

Code appendix to an OpenCL matrix-multiplication tutorial

Recopilatorio de charlas vistas y de la informacion relevante que se explica en ellas.

The Open Source Computer Science Degree

FP101x - Functional Programming MOOC 2015 Content Repository