Skip to content
View zant's full-sized avatar
🐢
🐢

Block or report zant

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
zant/README.md

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

Pinned Loading

  1. mellon mellon Public

    🍈

    Haskell

  2. ost ost Public

    A programming language

    C++ 2

  3. logic logic Public

    exercises from the book "logic and proof" by Jeremy Avigad

    Lean 1

  4. grundlagen grundlagen Public

    formalizing Landau's "Grundlagen der Analysis" in Coq

    Coq

  5. hottest hottest Public

    working through the hott summer school

    Agda

  6. opengl-wasm opengl-wasm Public

    OpenGL targeting Native & WebAssembly

    C++