myuon

AI. artificial intelligence on python!

ghc-compiler-notes. A collection of Notes on GHC

quartz. Rust

Chimera. Shooting Game with Monads and Lenses

timeline. TypeScript

jitome-kingdom. The kingdom of jitome girls

agda-cate. Category Theory in Agda

claire. A simple proof assistant

quartz-hs. Quartz is an interpreted, statically typed programming language with Haskell backend

haskell2010-ja. Haskell2010 Language Report 日本語訳

minilight. A SDL2-based graphics library, batteries included.

orbit. Zig

refluxive. flux-like graphics engine based on sdl2

gallon. A tool to migrate your data from one database to another.

refactor-mcp. TypeScript

madder. MADDER (Akane)

jitome-kingdom-api. Rust

di-example-store-app. An example application using DI in Haskell

haskell-minesweeper. 企画のやつ

CatQ. Formalization of Setoids-enriched Category Theory

lean-software-foundations. Lean

mu-ui. TypeScript

isabelle-software-foundations. "Software Foundations" in Isabelle

bwitterkuchen. CUI Twitter Client

eslint-plugin-css-reorder. ESLint plugin for CSS properties reordering

juniQ. Virtual Bishojo Juniku System

website. website

hakoniwa. My miniature garden as ecosystem simulator

introduction-to-interpreter. TypeScript

myuon. About me

dan. Have you done something great today?

postlude. The end

debil. Lightweight ORM for Rust

Ludwenics. This is the fairy tale about Ludwen's Manuscripts.

fourKings. A simple game with cards

typed. The curse of λ

FuncFormat. a simple text-formatting way by QuasiQuotes

lambda-factory. Haskell

debil-dynamodb. DynamoDB dialect for debil

tracy. Hi, Tracy!

HSDLightPhyx. Light Phyx by Haskell with SDL

kaigi-now. TypeScript

sandbox. nothing more than trashbox

aichan-lvlv. 愛ちゃんのラブラブ放置プレイ

rupt. Path Tracer in Rust

ruyt. Rust

algo. Algorithms

node-app-template. TypeScript

probable-chainsaw. Go

iolite. Rust

rustapp-example. sunava

provenian. Online Proof Judge

xrun. Go

sdlight. SDL wrapper library

power-ui. TypeScript

debil-mysql. MySQL implementaion for debil