Archive
- ost: a small language inspired in Lua, written in C++
- rad: a live-streaming platform, written in Scala ↔ Golang over Kafka, and Preact
- grundlagen: formalised analysis theorems in Coq
- ts-node-rest: full-featured REST api in Node.js with TS
- logic: formalized logic and basic set-theoretic math in lean
- opengl-wasm: an experiment running opengl in the browser via wasm and Emscripten (C++)
- mandelhs: mandelbrot set in Haskell
- mandelcpp: mandelbrot set in C++
- rti1w: a raytracer in C++
- montecarlo-pi5: approximating PI with the montecarlo method visually using p5.js
- monolog: a distributed log in Golang
- lc3: LC3 vm implementation in C
- algs: some algorithms in C++
- riscv: a risc-v vm in Rust (only up to memory, though I want to continue this one)
- aoc22: advent of code '22 in Haskell
- whiterose: a small time tracker for MacOS, written in Swift
- qlud: a GraphQL to TS transpiler for fast prototyping, written in Haskell
- python-api-boilerplate: a small boilerplate to setup a server with graphene, flask and sqlalchemy
- notion-cards-action: notion x github