coord-e

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

expressi

Expression-oriented toy programming language written in Rust

r53ddns

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

ad-hoc-poly

Implementation of type classes

CopyBundleID

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

slide-type-class-impl

Haskellで作ってわかる型クラス

oir

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

article-ccc-backend

cccコンパイラのバックエンド

mkbookpdf

command-line utility for booklet printing

coquille

Interactive theorem proving with Coq in vim.

new-year-countdown

$ npx new-year-countdown

pca9685

PCA9685 driver library

personal-website

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

platform-nordicnrf52

Nordic nRF52: development platform for PlatformIO

sats

Toy DPLL and CDCL SAT solver implementation

discord-diff-watch-bot

A bot for watching the specified website and notify the difference.

dpg

OpenMVG + OpenMVS Pipeline

egison-haskell

Template Haskell Implementation of Egison Pattern Matching

icsservo

ICS serial servo driver library

nix

Rust friendly bindings to *nix APIs

preferenceloader-sim

Drop-in replacement for preferenceloader, for iOS simulators.

rapidcheck

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

SATySFi

A statically-typed, functional typesetting system

shinkan-web-20

slide-type-class-lt

『Haskellの型クラス』@ coinsLT#111

stack

The Haskell Tool Stack

urdfdev

Containerized URDF/xacro robot model development environment

waka-box

📊 Update a pinned gist to contain your weekly WakaTime stats