@takahisa's dotfiles

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

eBPF-based Networking, Security, and Observability

A fast kubectl autocompletion with fzf

ONE-SHOT Algebraic Effects for Ruby!

A lightweight and fast parsing library for C#.

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

The Yices SMT Solver

Upload multiple artifacts to GitHub Release in parallel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Open-source keyboard firmware for Atmel AVR and Arm USB families

A compact splited keyboard.

Yet another tiny tiny self-hosted C compiler, assembler, linker and standard C library.

V2 of Real World OCaml

A compiler from WebAssembly to native code, via the OCaml backend.

GraphQL servers in OCaml

Vagrant plugin that configures the virtual machine to use proxies

The new Windows Terminal and the original Windows console host, all in the same place!

Awsome Japanese Coding Fonts

My splited keyboard.

Create PDF documents using web technologies

Example projects for ReLaXed, the PDF edition framework: letter, slide, poster, report, and more.

Proglr: GLR Parser Generator for Standard ML

Very simple ppx deriver for command line parser

An embeddable Lua 2.5 interpreter implemented in OCaml

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Minimal Haskell Compiler

A LaTeX package for formatting meta-theory.

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression