AustinZhu

IMP-lang

An implementation of the IMP toy programming language in Haskell

osm_china

slippy maps for China

pl-demo

Solidity-SBT-Soul-Bound-Token

An experiment in creating a soul bound token (SBT)

AustinZhu

cscelab-chatroom

A programmable chatroom application

mintsql

A lightweight in-memory SQL database written in Go

DARC

Decentralized Autonomous Regulated Company (DARC), a company virtual machine that runs on any EVM-compatible blockchain, with on-chain law system, multi-level tokens and dividends mechanism.

foundation

Empire strikes back

github-issue-templates

:symbols: A collection of GitHub issue and pull request templates

go-clean-arch

Go (Golang) Clean Architecture based on Reading Uncle Bob's Clean Architecture

gogm

Golang Object Graph Mapper for Neo4j

jekyll-theme-chirpy

A minimal, sidebar, responsive web design Jekyll theme that focuses on text presentation.

LFGroup

Mini-TT

mirror of A simple type-theoretic language: Mini-TT

ml-enabler

A service that integrates ML models to mapping applications.

nCov-test

Test website integrated with osm

sat-solver

scanaerial

Fuzzy Select plugin for JOSM

synquid

Undergrad research project

tokyo-web3-hackathon

wasedatime-web

An unofficial web app for syllabus searching, classroom finding, and bus schedule checking at Waseda University.

web3startrek

Starcoin Web3 StarTrek | 星航计划