Pinned Repositories
grundlagen
formalizing Landau's "Grundlagen der Analysis" in Coq
hottest
working through the hott summer school
logic
exercises from the book "logic and proof" by Jeremy Avigad
mellon
🍈
notion-cards-action
Update Notion cards' status based on events
opengl-wasm
OpenGL targeting Native & WebAssembly
ost
A programming language
qlud
TypeScript codegen from GraphQL definitions
rti1w
ray tracer
whiterose
whiterose: ⚪️ Minimalist macOS stopwatch running on the menu bar
zant's Repositories
zant/notion-cards-action
Update Notion cards' status based on events
zant/ost
A programming language
zant/qlud
TypeScript codegen from GraphQL definitions
zant/logic
exercises from the book "logic and proof" by Jeremy Avigad
zant/aoc22
aoc 2022
zant/grundlagen
formalizing Landau's "Grundlagen der Analysis" in Coq
zant/hottest
working through the hott summer school
zant/mellon
🍈
zant/opengl-wasm
OpenGL targeting Native & WebAssembly
zant/fly4s
A lightweight, simple and functional wrapper of Flyway using cats effect.
zant/gallina
Proofs written in Coq
zant/geel
OpenGL playground
zant/grapper
a small library on top of geth
zant/isoworker
Isomorphic workerization with context support
zant/json-tcp
JSON over TCP
zant/lc3
LC3 VM Implementation
zant/libp2p
zant/mandelcpp
Mandelbrot Set with SDL2 and C++
zant/mandelhs
mandelbrot set in unoptimized spaghetti code
zant/mnist
zant/monolog
dist log
zant/python-api-boilerplate
minimal boilerplate to setup a server with graphene, flask and sqlalchemy
zant/raw-abi-calls
zant/rest-api-description
An OpenAPI description for GitHub's REST API
zant/riscv
(wip) RISC-V VM written in Rust
zant/scala3-cats
cats in scala3
zant/ts-node-rest
Toy REST API caring for best practices
zant/ubyte-parser
Over-engineered Ubyte parser
zant/wasp
A programming language that understands what a web app is.
zant/zant