Ananth λ q9i
1 follower · 3 following
  • Cambridge, MA
  • https://monadi.cc

  • Haskellian hacker, Nix flake manager, software freedom fighter, applied mathematician (in theory), and purveyor of abstract nonsense, among other things

  • Joined on 2025-06-18
Repositories
13
 Projects Packages Public activity Starred repositories
1
Filter
Sort
shabda
Python 0 0
Learn Indic languages by prompt
Updated 2026-07-27 12:11:05 -07:00
functorOS
Nix 0 0
A highly experimental NixOS based Linux® distribution.
Updated 2026-07-03 12:25:24 -07:00
phonos
Python 0 0
prompt an understanding of spoken language
Updated 2026-05-26 00:05:14 -07:00
netsanet
Nix 0 0
My Alienware m16 R2 laptop's functorOS user configuration
Updated 2026-05-23 23:14:58 -07:00
urop-zardini
Haskell 0 0
Open-source artifacts from my work in the Zardini lab (summer 2025–present)
Updated 2026-05-07 16:09:55 -07:00
flash
Elm 0 0
Simple spaced repetition vocabulary practice in a target language
Updated 2026-05-03 16:25:07 -07:00
ES.1803
Typst 0 0
Teaching materials and notes for ES.1803 (starting spring 2026)
Updated 2026-04-26 13:54:05 -07:00
freefall
Python 0 0
Haskell-based physics curriculum
Updated 2026-04-05 20:52:01 -07:00
ES.200
Typst 0 0
Teaching seminar at ESG and related works
Updated 2026-02-04 17:12:37 -08:00
gtl-mexico
Typst 0 1
Source for seminars and colloquia at Colegio Oxford, presented in Córdoba, Veracruz
Updated 2026-01-22 12:10:34 -08:00
q9i/monadic
monadic
Typst 0 1
My new website and blog
Updated 2026-01-06 22:01:31 -08:00
6.1200
Typst 0 0
Math for computer science, but not category theory for programmers
Updated 2025-12-29 20:44:57 -08:00
blue-dome
Python 0 0
Planetary defense modeling with co-design for ACT4ED, Fall 2025
Updated 2025-12-01 07:09:00 -08:00