A Zsh theme

Renders typst code blocks in Obsidian into images using Typst through the power of WASM!

ZMK Firmware Repository

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

You like pytorch? You like micrograd? You love tinygrad! ❤️

Type level string parser combinators

A Dependently Timed Drum Machine Language

Remote development in Neovim 🔥

a small stub for compiling and linking ispc code with haskell

A flexible distributed key-value datastore that supports both caching and beyond caching workloads.

www.haskell.org site source

Interpret Haskell programs into any cartesian closed category.

Vim mode for VSCode, powered by Neovim

🦥 Supercharge your Haskell experience in neovim!

Benchmarks of different devices I have come across

Fetches system/theme information in terminal for Linux desktop screenshots.

Demo for high-performance type theory elaboration

Minimal implementations for dependent type checking and elaboration

Sync your Kindle notes and highlights directly into your Obsidian vault

The Haskell Foundation Tech Proposal Process

egraphs + datalog!

Haskell implemented with combinators

A monitor of resources

Hoed - A Lightweight Haskell Tracer and Debugger

Compiling to Categories