Pinned Repositories
aqaml
Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
aqcc
Yet another tiny tiny self-hosted C compiler, assembler, linker and standard C library.
constexpr-nn
constexpr is fun.
damjiro
Yet another karaoke system w/ scoring
discordml
A Discord library written in OCaml, based on Eio
jitsonnet
An AOT compiler for Jsonnet.
magout
A Kubernetes operator for Mastodon, written in Go.
qash
A programming language for double-entry accounting, inspired by Beancount.
waq
Yet another ActivityPub server implementation written in OCaml
write-your-llvm-backend
手を動かせばできるLLVMバックエンド チュートリアル（WIP）
ushitora-anqou's Repositories
ushitora-anqou/damjiro
Yet another karaoke system w/ scoring
ushitora-anqou/asynq_old
Yet another storage system running on client side with AWS S3 backend
ushitora-anqou/alqo
Yet another algo web app
ushitora-anqou/mio
Intro Quiz App
ushitora-anqou/aquery
Yet another slow query analyzer for Go
ushitora-anqou/daidoquer
ushitora-anqou/alqo-fe
ushitora-anqou/faststat
Fast and small resource statistics tool for Linux
ushitora-anqou/mp4_steganography
ushitora-anqou/ndarray_hpp
All you need is type-safe ndarray in C++17.
ushitora-anqou/verified-tfhe
ushitora-anqou/kuisthesis-template
ushitora-anqou/cotowari
A statically typed script language that transpile into POSIX sh
ushitora-anqou/cowboy_session
Cowboy session management middleware
ushitora-anqou/CREBAS
ushitora-anqou/factorio-notify-bot
ushitora-anqou/femtojson
Yet another tiny JSON parser for C++17
ushitora-anqou/fgprof
🚀 fgprof is a sampling Go profiler that allows you to analyze On-CPU as well as Off-CPU (e.g. I/O) time together.
ushitora-anqou/FStar
Verification system for effectful programs
ushitora-anqou/fstarutil
ushitora-anqou/go-sql-proxy
a proxy package is a proxy driver for dabase/sql.
ushitora-anqou/hugo-xmin
eXtremely Minimal Hugo theme: about 150 lines of code in total, including HTML and CSS (with no dependencies)
ushitora-anqou/IoPLMaterials
Materials for the class "Implementation of Programming Languages" in Kyoto University.
ushitora-anqou/midifile
A MIDI file parser/writer using ArrayBuffers
ushitora-anqou/ml5-library
Friendly machine learning for the web! 🤖
ushitora-anqou/nindanaoto.github.io
ushitora-anqou/qlown
Yet another toy theorem verifier.
ushitora-anqou/rhythm-notify-bot
ushitora-anqou/test_ppx
ushitora-anqou/typeprof
An experimental type-level Ruby interpreter for testing and understanding Ruby code