Repositories Users Organizations
Filter
Sort
functor.systems/ liquidhaskell
Haskell 0 1
mirror of ucsd-progsys/liquidhaskell
haskell refinement-types smt verification
Updated 2026-02-07 03:12:13 -08:00
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-02-06 16:53:27 -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
q9i/ urop-zardini
Typst 0 0
Open-source artifacts from my work in the Zardini lab (summer 2025–present)
Updated 2026-02-06 14:28:16 -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
functor.systems/ functorOS
Nix 0 3
A highly experimental NixOS based Linux® distribution.
functor.systems nix nixos
Updated 2026-02-03 11:18:11 -08:00
youwen/ web
Haskell 0 0
personal website powered by a custom Typst-based static site generator
Updated 2026-02-01 16:15:02 -08:00
youwen/ markov
Lean 0 0
functor.systems as a markov chain
Updated 2026-01-31 16:49:51 -08:00
functor.systems/ functoros-apple-silicon
Nix 0 0
compatibility module for apple silicon via asahi linux
Updated 2026-01-28 11:11:14 -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
q9i/ lambada
Nix 0 0
A visual representation of the lambda calculus
Updated 2026-01-18 07:54:13 -08:00
youwen/ WHILE
Haskell 0 0
a lexer for a toy language called WHILE using monadic parser combinators
Updated 2026-01-15 17:14:14 -08:00
youwen/ puri
Haskell 0 0
toy URI parser using megaparsec, an industrial strength monadic parser combinator library
Updated 2026-01-15 13:12:01 -08:00
youwen/ shezhi
Nix 0 0
My personal NixOS / functorOS configuration.
Updated 2026-01-14 11:50:20 -08:00
functor.systems/ website
HTML 1 2
the website for functor.systems
functor.systems haskell infrastructure miso nix website
Updated 2026-01-10 18:07:29 -08:00
youwen/ bookworm Template
Nix 1 0
template for a multi-document Typst monorepo
Updated 2026-01-08 01:33:15 -08:00
youwen/ gtl-mexico
Typst 0 0
Source for seminars and colloquia at Colegio Oxford, presented in Córdoba, Veracruz
Updated 2026-01-08 01:32:00 -08:00