cotrone

cotrone's Stars

• lerna/lerna

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

  Language:TypeScript35.8k2512.6k2.3k

• wtfutil/wtf

  The personal information dashboard for your terminal

  Language:Go15.9k156541810

• leandromoreira/digital_video_introduction

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

  Language:Jupyter Notebook15.6k437551.3k

• arut/nginx-rtmp-module

  NGINX-based Media Streaming Server

  Language:C13.5k6551.6k3.5k

• drduh/YubiKey-Guide

  Guide to using YubiKey for GnuPG and SSH

  Language:HTML11.4k2192401.2k

• hmemcpy/milewski-ctfp-pdf

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

  Language:TeX11.1k244165598

• heathermiller/dist-prog-book

  Language:CSS3.4k17013269

• asatarin/testing-distributed-systems

  Curated list of resources on testing distributed systems

  Language:HTML2.5k902227

• getpelican/pelican-themes

  Themes for Pelican

  Language:CSS2.1k631501.1k

• dgryski/awesome-consensus

  Awesome list for Paxos and friends

  2.1k961205

• dustinlyons/nixos-config

  General purpose Nix configuration for macOS / NixOS with starter templates + step-by-step guides ✨

  Language:Nix2k1489122

• clash-lang/clash-compiler

  Haskell to VHDL/Verilog/SystemVerilog compiler

  Language:Haskell1.5k55990154

• maximbaz/dotfiles

  Configuration for NixOS, sway, kitty, helix, zsh and more

  Language:Nix9732751103

• obsidiansystems/obelisk

  Functional reactive web and mobile applications, with batteries included.

  Language:Haskell96947426107

• ystael/chicago-ug-math-bib

  Chicago undergraduate mathematics bibliography

  Language:HTML69934659

• alexandrevicenzi/Flex

  The minimalist Pelican theme.

  Language:CSS60818162332

• HappyZ/dpt-tools

  dpt systems study and enhancement

  Language:C56843196130

• ailidani/paxi

  Paxos protocol framework

  Language:Go55430576

• Jazqa/kwin-quarter-tiling

  An easy tiling script for KWin

  Language:TypeScript366129720

• pigworker/CS410-17

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

  Language:Agda26323327

• advancedtelematic/quickcheck-state-machine

  Test monadic programs using state machine based models

  Language:Haskell202218325

• seansfkelley/yerna

  A Lerna-like tool for managing Javascript monorepos using Yarn

  Language:JavaScript143113510

• cmcl/frankjnr

  Another implementation of Frank.

  Language:Haskell7013105

• froozen/kademlia

  A haskell library implementing the Kademlia DHT

  Language:Haskell433521

• vmchale/atspkg

  Build tool for ATS.

  Language:Haskell4110116

• printesoi/kde-gruvbox

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

  33205

• ChrisPenner/wave-function-collapse

  Wave function collapse procedural generation for arbitrary graphs

  Language:Haskell15401

• emptyflask/nixconfig

  My NixOS system configuration

  Language:Nix13122

• emptyflask/nix-home

  Home Manager config

  Language:Nix2100

• meatballs/pelican-vagrant-starter

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

  Language:Makefile1102