-
Chalmers University of Technology
- Gothenburg, Sweden
-
02:40
(UTC +02:00) - https://mpg.is
- https://orcid.org/0000-0001-6693-8454
- @Tritlo
- @matti@loðfíll.is
- @[email protected]
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
Renders typst code blocks in Obsidian into images using Typst through the power of WASM!
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! ❤️
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.
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
Hoed - A Lightweight Haskell Tracer and Debugger