yurrriq Goto Github PK

clojurevst

Clojure-Based Audio Plug-Ins

clout

HTTP route-matching library for Clojure

cocktail

Cute abstract database for Erlang inspired by KVS

codeina

Api documentation generator for Clojure and ClojureScript (codox fork)

codox-md

Markdown output writer for codox

coeffects-thesis

:notebook_with_decorative_cover: The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.

comical

Track the publish dates of your favorite comics

compojure

A concise routing library for Ring/Clojure

configs-tstar

coq-chick-blog

A blog engine written and proven in Coq.

coreerlang

AST, parser, pretty-printer for Core Erlang source code.

coughup

A TeX invoice generation language

cowboy

Small, fast, modular HTTP server written in Erlang.

cpdt

:book: Certified Programming with Dependent Types

crypto-agda

Cryptographic Constructions in the Type Theory of Agda

curriculum-vitae

My CV in org-mode

cweb

The CWEB System of Structured Documentation

deep-learning-papers-reading-roadmap

Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

deliveryhero-helm-charts

Helm Charts ⛵ @ Delivery Hero ⭐

diff-pdf

A simple tool for visually comparing two PDF files

difftodo

Turns diffs into todo lists by parsing comments

digits

dinamo

Dynamic Generator

distributed-systems-references

A collection of papers that was referenced at the end of Jonas Bonér's The Road to Akka Cluster and Beyond ... talk.

docker-emacs

My Emacs and ZSH; Dockerized

docker-jruby

docker-music-suite

Docker image, in order to play with Music Suite efficently

docker-rethinkdb

RethinkDB Dockerfile for trusted automated Docker builds.

docker-subsonic

Docker image configuration for Subsonic media streamer

docker-viz

Dockerfile inheritance visualizer