There are no reviews yet. Be the first to send feedback to the community and the maintainers!
minireq
A minimal request library for the browsercommithelper
A tool to create and lint commit messagesMegarecord
My experiment about implementing Row Polymorphism in current Haskelldhall-openssl
Generate a type-safe openssl configuration file with dhallserver-config
The config of all the servers I managesnabbdom-looks-like
Makes it easy to assert if two virtual DOM trees look similardotfiles
My new dotfiles for SwayWM on Arch Linuxnix-config
The NixOS configuration of my laptopmedia-goggler
A media server written in Haskell and Cycle.jsisabelle-lambda-calculus
A formal definition and verification of System F. To be extended to System FcAdvancedDispensersMod
My first Modarticles
My collection of blog articles written for serveral sites, most likely the source for my own blog soon(TM)cyclejs-test-helpers
A small collection of useful utilitiesdotfiles-old
My personal configsketch-preview
A browser extension to view sketch files in githubtree-selector
Use CSS selectors to match nodes in a custom object treePlay2-Angular2-Template
A starting template for Play Framework 2 and Angular2GUI-Technologies-for-web-applications
The source and slides for our Seminar 2018binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypesd3-axis-hyperscript
Generate human-readable axis for a given scaleadvent-of-code-2018
Doing advent-of-code in Haskellmunichjs-signals_vs_streams
My talk about Signals vs Streamskubernetes-config-v2
My new kubernetes setup with dhallkubernetes-config
My new server setup V2docker-letsencrypt
TechMod
zero-to-webserver-haskell
Building-a-stream-library-from-scratch
AdvancedDispensersMod2.0
The new Version of my first Modpack.hs
A Typescript transpiler and bundler written in HaskellBetterCharacterController
A character controller for the Unity enginemunichjs-promises
rust-raytracer-assignment
This will be a raytracer written with Rust and Vulkanlambda-derive
A telegram bot that runs on AWS lambda that can calculate the derivative of an expressionAnnoModdingTool
A tool to read Anno 2070 Model files, hopefully more laterc-fun
A immutuable-first language compiling to C++liquidhaskell-amortized-complexity
My WIP paper about using LiquidHaskell to prove amortized complexity of data structuresLove Open Source and this site? Check out how you can help us