General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Rectangular Micro QR Code (rMQR Code) Generator in Python

open interpreter docker environment

GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Sample code of Yew (0.18). Something like a PuyoPuyo.

Rust / Wasm framework for creating reliable and efficient web applications

An Introduction to Weighted Automata in Machine Learning

Jupyter notebooks for tutorial on the Z3 SMT solver

Solves WaterSortPuzzle games

The Z3 Theorem Prover

Pack up to 3MB of data into a tweetable PNG polyglot file.

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

An HTTP library for Rust

Infinitely transfer between every device over pure HTTP with pipes or browsers

Execute SQL against structured text like CSV or TSV

A list of command-line tools for manipulating structured text data

Parsing HTML at the command line

LZ-based compression algorithm for JavaScript

Simple Proof of concept to view, edit (with js console), and save RPG Maker MV Save Files

Checksec

A toy JVM on Web Browser implemented by Rust

A Python implementation of Larry's famous PageRank algorithm.

A high performance caching library for Java

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

Beginner's guide for C++

CHIP8 emulator written in javascript.