deathgrindfreak

Cooper Bell's starred repositories

manifesto

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source license.

Language:HTMLApache-2.036232 65 25

shellcheck

ShellCheck, a static analysis tool for shell scripts

Language:HaskellGPL-3.035831 416 2639

serenity

The Serenity Operating System 🐞

Language:C++BSD-2-Clause29955 350 4168

croc

Easily and securely send things from one computer to another :crocodile: :package:

Language:GoMIT27120 238 465

quickemu

Quickly create and run optimised Windows, macOS and Linux virtual machines

Language:ShellMIT10068 76 548

ncspot

Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.

Language:RustBSD-2-Clause4862 33 616

Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language:HaskellBSD-3-Clause4239 196 37

maelstrom

A workbench for writing toy implementations of distributed systems.

Language:ClojureEPL-1.02949 27 34

queueing-theory

Queueing theory: an introduction for software development

2125 44 1

brick

A declarative Unix terminal UI library written in Haskell

Language:HaskellNOASSERTION1588 23 277

datatype99

Algebraic data types for C99

Language:CMIT1348 14 14

haskell-nix

Nix and Haskell in production

Language:Nix1134 33 64

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

939 60 4

epy

CLI Ebook (epub2, epub3, fb2, mobi) Reader

Language:PythonGPL-3.0938 11 87

pg_query

Ruby extension to parse, deparse and normalize SQL queries using the PostgreSQL query parser

Language:CBSD-3-Clause771 19 109

githublog

I'm sick of complex blogging solutions, so markdown files in a git repo it is

Language:TypeScript594 21 3

org-present

Ultra-minimalist presentation minor-mode for Emacs org-mode.

Language:Emacs Lisp360 9 26

purerl

Erlang backend for the PureScript compiler

Language:HaskellNOASSERTION327 13 28

three-layer

:three: :cake: Architecture of the Haskell web applications

Language:HaskellBSD-3-Clause304 27 42

MicroHs

Haskell implemented with combinators

Language:HaskellNOASSERTION287 10 29

shh

Simple shell like scripting from Haskell

Language:Haskell265 11 53

nix-zsh-completions

ZSH Completions for Nix

Language:ShellBSD-3-Clause221 10 18

nix-haskell-monorepo

Pragmatic tutorial on how to use nix with a haskell monorepo

Language:Nix153 14 3

GLUT

Haskell bindings to GLUT

Language:HaskellBSD-3-Clause62 10 20

slack_status_updater

A simple shell script to update your status in slack from the command line

Language:Shell59 3 3

voodoo

3D game programming and rapid prototyping library.

Language:CMIT39 30

ohrid19-agda

Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

Language:HTML23 30

oracle-simple

Modern bindings to Oracle odpic

Language:HaskellMIT10 6 14

donuts

A GHC plugin for loops and mutability

Language:HaskellNOASSERTION9 1 4

certainty-by-construction

Reading through the book Certainty By Construction

Language:Agda1 20