learn-lean
Lean
kaychaks.github.io
CSS
knotty
Terraform and Bun scripts to deploy one self-hosted Knot server to Hetzner VM
TypeScript
1
kbc-deepdive
Scala
lets-lens
Haskell
AoC
My attempts to solve puzzles of Advent of Code
Rust
logic_proof
Lean
merkle-basic-haskell
Haskell
wasm-game-of-life-js
JavaScript
wasm-game-of-life
Rust
kiteticker-async
Async client for the Kite Connect WebSocket API
Rust
kbc-data-processing
Scala
tex-course
TeX
ADOperator
Scala
mit_proj
JavaScript
hasochism
Haskell
grakn-kbc-poc-ui
Scala
internal-k8s-setup
HTML
dot-emacs
Emacs Lisp
k8s-rook-cluster
Jinja
k8s-lv-extend
optics-book
Haskell
notebooks
Jupyter Notebook
k8s-mitm-cert-push
exercism-tracks
Exercism track submissions
Rust
k8s-haproxy
Jinja
aws-k8s-setup
HCL
hmm
Haskell implementations of Hidden Markov Models & related algorithms from AIMA book
Haskell
autopack
Auto build and run a React app within a Docker container without a Dockerfile
Rust