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 Modadcs_plot
A real time data viz apparticles
My collection of blog articles written for serveral sites, most likely the source for my own blog soon(TM)dotfiles-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