zant

ts, haskell, agda

@socialappslabasunción/berlín

Pinned Repositories

grundlagen
formalizing Landau's "Grundlagen der Analysis" in Coq
Language:Coq0 1 00
hottest
working through the hott summer school
Language:Agda0 1 00
logic
exercises from the book "logic and proof" by Jeremy Avigad
Language:Lean1 1 00
mellon
🍈
Language:Haskell0 1 00
notion-cards-action
Update Notion cards' status based on events
Language:Go6 1 32
opengl-wasm
OpenGL targeting Native & WebAssembly
Language:C++0 1 00
ost
A programming language
Language:C++2 1 00
qlud
TypeScript codegen from GraphQL definitions
Language:Haskell2 1 00
rti1w
ray tracer
Language:C++1 1 00
whiterose
whiterose: ⚪️ Minimalist macOS stopwatch running on the menu bar
Language:Swift5 1 10

zant's Repositories

zant/whiterose
whiterose: ⚪️ Minimalist macOS stopwatch running on the menu bar
Language:Swift5 1 10
zant/rti1w
ray tracer
Language:C++1 1 00
zant/algs
algorithms implemented in c++
Language:C++1 0
zant/montecarlo-pi5
graphic representation of the montercarlo method to see an aproximate value of pi (in the console)
Language:JavaScript
zant/youtube-time-tracker
track your watch time on youtube
Language:JavaScript0 0