elrikdante

dive

A tool for exploring each layer in a docker image

IoT-For-Beginners

12 Weeks, 24 Lessons, IoT for All!

xv6-public

xv6 OS

Carp

A statically typed lisp, without a GC, for real-time applications.

ec2instances.info

Amazon EC2 instance comparison site

bloomd

C network daemon for bloom filters

sshkit

A toolkit for deploying code and assets to servers in a repeatable, testable, reliable way.

dhall-haskell

Maintainable configuration files

pipes

Compositional pipelines

murmur3

Murmur3 hash in C

grace

A ready-to-fork interpreted functional language with type inference

amazon-cloudfront-secure-static-site

Create a secure static website with CloudFront for your registered domain.

fullstaq-ruby-docker

Docker image for Ruby build from Fullstaq packages based on Debian 10, 11, and 12.

build-number

GitHub action for generating sequential build numbers.

managed

A monad for managed values

sdfui

Drafting with signed distance fields

handbook

Handbook for Octokit maintainers and GitHub integrators

vesting-contract

Minimal Tezos vesting contracts

ansible-role-sendmail

Ansible role for sending an email message

bunyan

This is not the bunyan you're looking for—go here instead:

fp-ws2122

Vorlesung "Functional Programming" im WS 2021/22 (U Tübingen)

jest-puppeteer

Jest + Puppeteer starter

PulpFictionQuoteAPI

A Flask application that generates a random quote from a Pulp Fiction character utilizing Docker and sqlite. Just for fun. Also a tutorial on deploying Flask to EKS.

ansible-role-react-native

This is an ansible role to build the dev setup for a react-native application

lita-capistrano_rails

A Lita handler to integrate with Capistrano for rails project

roman_numerals_kata

heaven

:walking: Rails app for GitHub Flow

disc-inst-bug

reproduction for a GHC bug #20563

no-template-haskell

FlaskStockAPI

Stock information/tracking api utilizing financial modeling prep and Flask restful