dysinger Goto Github PK

aeson-wai-example

Example code showing how easy it is to do REST w/ JSON in Haskell

agda-haskell-c-ffi-layer-cake

Demostration of FFI from Agda -> Haskell -> C in one project

alpine-linux-ghc-bootstrap

Bootstrapping ghc into alpine linux

amazonka

A comprehensive Amazon Web Services SDK for Haskell.

b0

Software construction care

box

Some goofing around with SmartOS / VirtualBox automation in Haskell

bs-material-ui

Reason bindings for material-ui

bs-node-fetch

bucklescript

A backend for the OCaml compiler which emits JavaScript.

caddy

My Custom Caddy Server

caldav

Calendar server (CalDAV, RFC 4791) implementation in OCaml

callwords

Simple tool that prints ham radio call signs that have close word matchings

cancel-workflow-action

⏹️GitHub Action to cancel previous running workflows on push

check-graph

CLI (Nagios) check for Graphite metrics

chef-nix

Chef Cookbook for Nix & Nixpkgs

coduino

Copilot sandbox for Arduino

consul-haskell

A haskell client library for consul (consul.io)

coreos-kubernetes

CoreOS+Kubernetes documentation, Vagrant & AWS installers

cura

3D printer / slicing GUI built on top of the Uranium framework

demo

Multi Architecture/System C Library CI Demo

docker-gnupg

Simple project to build verified gnupg (latest) from scratch inside a docker container

dream

Tidy, feature-complete Web framework

dune

A composable build system for OCaml

ec2-unikernel

Tool for uploading unikernels into EC2

el-get

Manage the external elisp bits and pieces upon which you depend!

elsp

esy

package.json workflow for native development with Reason/OCaml

esy-irmin-unix-fail-example

A temporary repository showing a failure in esy.sh dependency management

firecracker

Secure and fast microVMs for serverless computing.

gc-monitoring-wai

a wai application to show `GHC.Stats.GCStats`