🍵 Discordの宇治サーバーで動くBotプログラムのソースコードです

a statically-sized bitset library

🌎 A completely free and open interplanetary-microblogging platform 🚀

The jQuery implementation in C stdout! (It's a joke repository)

A container runtime written in Rust

ASN.1 library for Rust

AtCoder command line tools

文言文編程語言 A programming language for the ancient Chinese.

tips for F*

計算機

type-level programming in F#

seccamp2018 c compiler

Toy C compiler

An attempt to build axiomatic, formal set theory on top of Scala.

CodeHub is an iOS application written using Xamarin

A tiny, friendly, C# parser construction library

Yet Another .NET Twitter Library

my blog

A Proof-oriented Programming Language

✹

Jelly is a recreational programming language inspired by J.

SHA1 hash mining

What I Wish I Knew When Learning Haskell 日本語訳