Hiromi Ogawa

magicpak. :hammer: Build minimal docker images without static linking

misskey-rs. :v: Client library for Misskey :smiling_face_with_three_hearts:

mlml. self-hosted compiler for a subset of OCaml

ccc. optimizing compiler for a subset of C language

scopion. a statically-typed programming language with powerful syntax

thrust. Refinement type checking and inference tool for Rust

expressi. Expression-oriented toy programming language written in Rust

kaisantantoudaijin. Discordの通話が解散できないオタクを解散させる解散担当大臣

cart. convert c/c++ code into well-formed ascii art

impl-outsidein. Toy implementation of type inference for GADTs and TypeFamilies

r53ddns. command-line utility to update A record in Route53 with current global IP address

CopyBundleID. This Tweak adds a quick action shortcut to every app that will copy the app's bundle identifier.

ad-hoc-poly. Implementation of type classes

epgstation_exporter. Prometheus exporter for EPGStation metrics

slide-coinslt1000-slsa. 5分でSLSA

DSP6951. Library for DSP6951 DSP Radio IC.

slide-type-class-impl. Haskellで作ってわかる型クラス

slide-specialseminar21-reimpl-functional-package-manager. 純粋関数型パッケージマネージャの追実装

mirakurun_exporter. Prometheus exporter for Mirakurun metrics

slide-coins20lt-outsidein-type-inference. OutsideIn(X) 型推論

oir. oir: OtakuAssembly Vol.2 第一章『データフロー最適化の実装』サンプル実装

vrm-render. (wip) VRM renderer CLI

article-ccc-backend. cccコンパイラのバックエンド

slide-coins20lt-misskey-rs. misskey-rs 紹介

jot_pdf. Streaming PDF writer DSL for Ruby

coord-e.com. Nix

slide-tokyork12-writing-pdfs-in-ruby-dsl. Writing PDFs in Ruby DSL

discord-link2github. A bot for Discord that links Issue/PR to GitHub

mkbookpdf. command-line utility for booklet printing

bd. Bash Framework to accelerate your daily scripting

serialmon. A simple UART monitor built with Arduino

rlenv. Scaffold reinforcement learning experiment environment

ili9328SPI. ILI9328 Driver Library for Arduino

minidots. minimal sufficient dotfiles

GT20L16J1Y. GT20L16J1Y Japanese Font ROM Driver Library for Arduino

linux_dvb_exporter. Prometheus exporter for DVB device metrics

TouchMixxx. TouchMixxx fork with layout that imitates DDJ-400

runbot. Runbot runs your code on Discord using Wandbox API

coquille. Interactive theorem proving with Coq in vim.

slack-send. Send message to Slack via webhook

sats. Toy DPLL and CDCL SAT solver implementation

slide-coins20lt-rust-intro. Introduction to Rust

slide-coins20lt-prove-using-ghc. "Theorem Proving using GHC" at coins20LT#1

slide-coins20lt-fold-for-all. fold for all

grafana-lambda. Run Grafana on AWS Lambda

platform-nordicnrf52. Nordic nRF52: development platform for PlatformIO

slide-ps1. PS1芸

line-discord-webhook-adaptor. Adaptor between LINE Messaging API and Discord Webhooks.

personal-website. Code that'll help you kickstart a personal website that showcases your work as a software developer.

pca9685. PCA9685 driver library

discord-minutes. Create a minute of meeting in Discord using GCP's Speech API

new-year-countdown. $ npx new-year-countdown