moleike

node-lwm2m

OMA LwM2M protocol implementation for Node

line-bot-sdk

🍥 Haskell向けLINE Messaging API SDK

haskell-jsonnet

🎏 Haskell implementation of Jsonnet

slos

armourd

smoking fast Linux watchdog daemon with a DBus interface.

taiwan-aqi-bot

🚨台灣空氣品質監測聊天機器人

matcha

:tea: C++11 port of Hamcrest

kafka-streams-avro-scala

Kafka Avro SerDes for Scala with Schema Registry

evidence

Effect Handlers in Scala, Evidently

mqtt-slides

Presentation about MQTT, a messaging protocol for M2M/IoT applications

BearSSL

Unofficial mirror of https://www.bearssl.org/git/BearSSL

cats-effect

The pure asynchronous runtime for Scala

euler

computational math problems

free-arrow

Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows

garakei

hedgehog-gen

Customizable Gen for ADT using Generics

http4s-armeria

Armeria backend for http4s

jsonnet

Jsonnet - The data templating language

koka

Koka language compiler and interpreter

koxinga

matcha2

moleike

Config files for my GitHub profile.

moleike.github.io

nix-config

pierce-categories

Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.

presentation.g8

Giter8 template for FP-Tower using tut and remark.js

presentations

Latex source of my various presentations to introduce new topics, etc.

strymonas-scala

Fast streams for Scala 3

tasty-bench

Featherlight benchmark framework, drop-in replacement for criterion and gauge.