Pinned Repositories
abort-on-drop
A wrapper of Tokio's JoinHandle that aborts the task when it's dropped, while still allowing it to be awaited for joining.
alfred
bitOS
kernel written in rust based on os.phil-opp.com
cartesian-rs
electrica
Educational Video Game
islands
procedural island generator
parsley
EBNF parsing toolset
pixel-bonsai
snake86
snake in x86_64 assembly on linux
tli
(not quite so) Tiny Lisp Interpreter
JM4ier's Repositories
JM4ier/parsley
EBNF parsing toolset
JM4ier/islands
procedural island generator
JM4ier/tli
(not quite so) Tiny Lisp Interpreter
JM4ier/pixel-bonsai
JM4ier/abort-on-drop
A wrapper of Tokio's JoinHandle that aborts the task when it's dropped, while still allowing it to be awaited for joining.
JM4ier/amazons
JM4ier/aoc-utils-java
Java wrapper for fetching data from the Advent of Code website and generating beautiful graphs
JM4ier/bisync
JM4ier/bitumen
JM4ier/cnf-pl
JM4ier/cubie
JM4ier/ETH-DINFK-Bot
Discord bot developed in .NET 6 for the usage on the ETH DINFK Discord Server. The bot has an open database for user to query freely, a way to draw for other bots on a 1000x1000 canvas or get ETH information like what the ETH/UZH Mensa menus for a given day.
JM4ier/fantoccini
A high-level API for programmatically interacting with web pages through WebDriver.
JM4ier/fibonacci
JM4ier/get-off-my-lawn-reserved
Keep people off your lawn with claims! Built for Fabric.
JM4ier/graph
JM4ier/http
Rust HTTP types
JM4ier/hyper
An HTTP library for Rust
JM4ier/jcardsim
JM4ier/mmu
JM4ier/openapi
openapi schema serialization for rust
JM4ier/polyring
Webring for current or past members of ETH Zurich 🚀
JM4ier/program-verification-project-testrunner
Test Runner for the first project of Program Verification
JM4ier/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
JM4ier/rods
JM4ier/rust-openssl
OpenSSL bindings for Rust
JM4ier/seed
JM4ier/thirtyfour
Selenium WebDriver client for Rust, for automated testing of websites
JM4ier/tlotc
JM4ier/trustme-rs