ErnWong/TrainControlSystem-FormalSpecs

Stars
1
Language Rich Text Format
Created almost 4 years ago
Updated almost 4 years ago

ErnWong/TrainControlSystem-FormalSpecs

ErnWong

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Formal specification attempt at a hypothetical train control system using Z-notation

crystalorb

Network-agnostic, high-level game networking library for client-side prediction and server reconciliation (unconditional rollback).

dango-tribute

a-level-mathematics-guide

spidermeme

Rust traits to check for type equality and type inequality.

gitbook-plugin-punctuate

Replaces ASCII punctuation to typographically correct symbols

i-tried-learning-yew-rust-but-got-transported-to-another-world-and-reincarnated-as-a-shogi-board

Not-so-serious browser-based GUI for shogi

ErnWong.github.io

Apparently, it's a blog.

pi-photogate

A fun solution to I-wish-I-had-that is to make it yourself 🔧

advent-of-code-2023

dotfiles

Let's start from fresh again

dotfiles-old-linux

vexdoom

🎮 Yes. You can also run DOOM on Vex robots.

nfcycler

🔁 stdout ---> stdin

v86

x86 virtualization in JavaScript, running in your browser and NodeJS