Beast code in Giters

Kevin Cotrone's starred repositories

nixconfig

My NixOS system configuration

Language:Nix1200

nix-home

Home Manager config

Language:Nix200

wave-function-collapse

Wave function collapse procedural generation for arbitrary graphs

Language:HaskellBSD-3-Clause1500

dpt-tools

dpt systems study and enhancement

Language:CMIT56000

testing-distributed-systems

Curated list of resources on testing distributed systems

Language:HTMLCC-BY-4.0245700

digital_video_introduction

A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸

Language:Jupyter NotebookBSD-3-Clause1528800

YubiKey-Guide

Guide to using YubiKey for GnuPG and SSH

Language:HTMLMIT1095000

nginx-rtmp-module

NGINX-based Media Streaming Server

Language:CBSD-2-Clause1323800

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

Language:HaskellNOASSERTION140300

chicago-ug-math-bib

Chicago undergraduate mathematics bibliography

Language:HTML67900

obelisk

Functional reactive web and mobile applications, with batteries included.

Language:HaskellBSD-3-Clause94000

wtf

The personal information dashboard for your terminal

Language:GoMPL-2.01562000

kademlia

A haskell library implementing the Kademlia DHT

Language:HaskellBSD-3-Clause4300

awesome-consensus

Awesome list for Paxos and friends

202500

atspkg

Build tool for ATS.

Language:Haskell4100

lerna

:dragon: Lerna is a fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository.

Language:TypeScriptMIT3554500

yerna

A Lerna-like tool for managing Javascript monorepos using Yarn

Language:JavaScriptNOASSERTION14200

paxi

Paxos protocol framework

Language:GoMIT54500

CS410-17

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

Language:Agda26200

dist-prog-book

Language:CSSNOASSERTION342100

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION1085800

kwin-quarter-tiling

An easy tiling script for KWin

Language:TypeScriptGPL-2.036700

pelican-vagrant-starter

Starter project for a pelican based blog on a vagrant virtual machine

Language:Makefile100

Flex

The minimalist Pelican theme.

Language:CSSMIT59900

kde-gruvbox

A suite of themes for KDE applications that match the retro gruvbox colorscheme

MIT2900

pelican-themes

Themes for Pelican

Language:CSS212000

quickcheck-state-machine

Test monadic programs using state machine based models

Language:HaskellNOASSERTION20400

frankjnr

Another implementation of Frank.

Language:Haskell7100

veggies

Hopefully verifiable code generation in GHC

Language:Haskell9400

deanie

An embedded probabilistic programming language.

Language:HaskellMIT3300