Repositories Users Organizations
Filter
Sort
functor.systems/ haskell.nix
Nix 1 1
mirror of iohk/haskell.nix for development use
build-tool hacktoberfest haskell infrastructure nix nix-expressions
Updated 2026-03-24 17:58:38 -07:00
kaitotlex/ functorOS-prime
Nix 0 0
A derivative of a highly experimental NixOS based Linux® distribution.
Updated 2026-03-24 15:07:50 -07:00
q9i/ urop-zardini
Haskell 0 0
Open-source artifacts from my work in the Zardini lab (summer 2025–present)
Updated 2026-03-24 14:38:13 -07:00
functor.systems/ liquidhaskell
Haskell 0 1
mirror of ucsd-progsys/liquidhaskell
haskell refinement-types smt verification
Updated 2026-03-24 12:47:04 -07:00
youwen/ web
Haskell 0 0
personal website powered by a custom Typst-based static site generator
Updated 2026-03-23 11:05:44 -07:00
functor.systems/ mens-et-market
Svelte 0 0
prediction market based in cambridge, ma spun out of masstech
Updated 2026-03-14 10:25:23 -07:00
q9i/ flash
Elm 0 0
Simple spaced repetition vocabulary practice in a target language
Updated 2026-03-11 02:31:29 -07:00
functor.systems/ blog
Haskell 0 0
a math and technology blog from functor.systems
Updated 2026-03-10 09:26:05 -07:00
functor.systems/ functorOS
Nix 0 4
A highly experimental NixOS based Linux® distribution.
functor.systems nix nixos
Updated 2026-03-08 09:26:23 -07:00
xy/ functorOS
Nix 0 0
A highly experimental NixOS based Linux® distribution.
Updated 2026-03-06 07:22:05 -08:00
functor.systems/ functoros-apple-silicon
Nix 0 0
compatibility module for apple silicon via asahi linux
Updated 2026-03-05 07:28:54 -08:00
youwen/ shezhi
Nix 0 0
My personal NixOS / functorOS configuration.
Updated 2026-02-25 20:41:50 -08:00
youwen/ mathematize
Nix 0 0
a program for inducing mathematical excellence
Updated 2026-02-08 08:33:10 -08:00
q9i/ ES.1803
Typst 0 0
Teaching materials and notes for ES.1803 (starting spring 2026)
Updated 2026-02-06 16:06:31 -08:00
youwen/ lean-iap
Lean 0 0
notes from sipb cluedump "Programs and Proofs in Lean," IAP 2026, https://www.mit.edu/~xy/lean/
Updated 2026-02-05 08:13:47 -08:00
q9i/ ES.200
Typst 0 0
Teaching seminar at ESG and related works
Updated 2026-02-04 17:12:37 -08:00
youwen/ markov
Lean 0 0
functor.systems as a markov chain
Updated 2026-01-31 16:49:51 -08:00
q9i/ 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
Quantalabs/ functorOS
Nix 0 0
A highly experimental NixOS based Linux® distribution.
Updated 2026-01-19 15:29:35 -08:00
Quantalabs/ saraswati
Nix 0 0
Nix config
Updated 2026-01-19 15:24:23 -08:00