cdepillabout Goto Github PK

accelerate-singleton-test

advent-of-code

My solutions to various Advent of Code problems

advent-of-code-2018-rust

Archived and moved to https://github.com/cdepillabout/advent-of-code

advent-of-code2018

Advent of Code 2018 problems in Haskell. Archived and moved to https://github.com/cdepillabout/advent-of-code

amazonka

A comprehensive Amazon Web Services SDK for Haskell.

anki-high-priority

Automatically mark facts as HighPriority in Anki decks

ankiqt

Anki on the desktop (Qt)

arbtt

arbtt, the automatic rule-based time-tracker

aws-lambda-haskell-runtime

⚡Haskell runtime for AWS Lambda

bash

Unofficial bash repository (since no official repository exists). This repo will not be kept up-to-date.

bash-vuln-shell-shock-lt

Description of the bash shell shock vulnerability. This is in Japanese.

beep-every-second

Simple web page that makes a beep every second. Useful to use as a timer when working out.

bloom-filter-lt

This is a lightening talk about bloom filters.

brazile-web-scraper

web scraper for brazilian website

break-time

break timer that forces you to take a break

break-time-hs

cabal

Official upstream development repository for Cabal and cabal-install

cabal-doctests-test

cabal-nix-question

cabal2nix

Generate Nix build instructions from a Cabal file

cabal2nixwithoutifd

callstack2nix

Nix function for using stack2nix to produce a Haskell package set

clearml

ClearML - Auto-Magical Suite of tools to streamline your ML workflow. Experiment Manager, ML-Ops and Data-Management

clearml-agent

ClearML Agent - ML-Ops made easy. ML-Ops scheduler & orchestration solution

clearml-server-k8s

TRAINS Server for Kubernetes Clusters

clipodder

A command line podcast downloader

codeiq-cyberdefence-reversing-challenge

Files for a reversing challenge from codeiq

codejam

continuation-monad-test

This is just a test project for playing around with the continuation monad.

coq-equivalence-not-congruence

Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations