zant

🐢

zant

🐢

typist

26 followers · 24 following

site Public

shite

CSS Updated Dec 21, 2025
boundaries Public

categorical constructs in ts

TypeScript Updated Jun 18, 2025
zant Public

Updated Oct 30, 2023
scala3-cats Public

cats in scala3

Scala Updated Oct 3, 2023
hottest Public

working through the hott summer school

Agda Updated Aug 21, 2023
logic Public

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

Lean 1 Updated Jun 27, 2023
mellon Public

🍈

Haskell Other Updated Jun 20, 2023
rest-api-description Public
Forked from github/rest-api-description

An OpenAPI description for GitHub's REST API

MIT License Updated Jun 9, 2023
monolog Public

dist log

Go Updated Jun 3, 2023
fly4s Public
Forked from geirolz/fly4s

A lightweight, simple and functional wrapper of Flyway using cats effect.

Scala Apache License 2.0 Updated Jun 2, 2023
ost Public

A programming language

C++ 2 Updated May 14, 2023
aoc22 Public

aoc 2022

Haskell BSD 3-Clause "New" or "Revised" License Updated Feb 5, 2023
raw-abi-calls Public

Go Updated Jan 14, 2022
wasp Public
Forked from wasp-lang/wasp

A programming language that understands what a web app is.

Haskell MIT License Updated Nov 27, 2021
riscv Public

(wip) RISC-V VM written in Rust

Rust Updated Oct 21, 2021
qlud Public

TypeScript codegen from GraphQL definitions

Haskell 2 BSD 3-Clause "New" or "Revised" License Updated Oct 6, 2021
notion-cards-action Public

Update Notion cards' status based on events

Go 6 2 MIT License Updated Aug 21, 2021
grundlagen Public

formalizing Landau's "Grundlagen der Analysis" in Coq

Coq Updated Aug 18, 2021
gallina Public

Proofs written in Coq

Coq Updated Jul 4, 2021
mandelhs Public

mandelbrot set in unoptimized spaghetti code

Haskell Updated Jun 28, 2021
mandelcpp Public

Mandelbrot Set with SDL2 and C++

C++ Updated Jun 26, 2021
grapper Public

a small library on top of geth

Go Updated Jun 12, 2021
opengl-wasm Public

OpenGL targeting Native & WebAssembly

C++ 2 Updated Jun 9, 2021
json-tcp Public

JSON over TCP

Go Updated May 12, 2021
mnist Public

Python Updated May 7, 2021
python-api-boilerplate Public template

minimal boilerplate to setup a server with graphene, flask and sqlalchemy

Python Updated May 6, 2021
libp2p Public

Go Updated Jan 8, 2021
ts-node-rest Public template

Toy REST API caring for best practices

TypeScript MIT License Updated Jan 7, 2021
isoworker Public
Forked from 101arrowz/isoworker

Isomorphic workerization with context support

TypeScript MIT License Updated Dec 11, 2020
ubyte-parser Public

Over-engineered Ubyte parser

Python MIT License Updated Nov 21, 2020

zant

site Public

Uh oh!

boundaries Public

Uh oh!

zant Public

Uh oh!

scala3-cats Public

Uh oh!

hottest Public

Uh oh!

logic Public

Uh oh!

mellon Public

Uh oh!

rest-api-description Public

Uh oh!

monolog Public

Uh oh!

fly4s Public

Uh oh!

ost Public

Uh oh!

aoc22 Public

Uh oh!

raw-abi-calls Public

Uh oh!

wasp Public

Uh oh!

riscv Public

Uh oh!

qlud Public

Uh oh!

notion-cards-action Public

Uh oh!

grundlagen Public

Uh oh!

gallina Public

Uh oh!

mandelhs Public

Uh oh!

mandelcpp Public

Uh oh!

grapper Public

Uh oh!

opengl-wasm Public

Uh oh!

json-tcp Public

Uh oh!

mnist Public

Uh oh!

python-api-boilerplate Public template

Uh oh!

libp2p Public

Uh oh!

ts-node-rest Public template

Uh oh!

isoworker Public

Uh oh!

ubyte-parser Public

Uh oh!