moleike

node-lwm2m

OMA LwM2M protocol implementation for Node

line-bot-sdk

🍥 Haskell向けLINE Messaging API SDK

haskell-jsonnet

🎏 Haskell implementation of Jsonnet

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

http4s-grpc

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

I have no idea what this is anymore

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

sashimono

scala-steward-repos

strymonas-scala

Fast streams for Scala 3

tasty-bench

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