Explore

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-01-16 16:52:13 -08:00

functor.systems/ liquidhaskell

Haskell 0 1

mirror of ucsd-progsys/liquidhaskell

haskell refinement-types smt verification

Updated 2026-01-16 11:19:17 -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

q9i/ gtl-mexico

Typst 0 1

Source for seminars and colloquia at Colegio Oxford, presented in Córdoba, Veracruz

Updated 2026-01-15 15:59:21 -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

functor.systems/ functorOS

Nix 0 3

A highly experimental NixOS based Linux® distribution.

functor.systems nix nixos

Updated 2026-01-14 12:19:14 -08:00

youwen/ shezhi

Nix 0 0

My personal NixOS / functorOS configuration.

Updated 2026-01-14 11:50:20 -08:00

functor.systems/ functoros-apple-silicon

Nix 0 0

compatibility module for apple silicon via asahi linux

Updated 2026-01-14 11:33:16 -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

q9i/ monadic

Typst 0 1

My new website and blog

Updated 2026-01-06 22:01:31 -08:00

functor.systems/ blog

Haskell 0 0

a math and technology blog from functor.systems

Updated 2026-01-05 20:32:22 -08:00

youwen/ monograph Template

Haskell 0 0

a static site generator blog template for hackers and theorists

Updated 2026-01-05 15:52:57 -08:00

youwen/ web

Haskell 0 0

personal website powered by a custom Typst-based static site generator

Updated 2026-01-05 15:32:56 -08:00

youwen/ natural-number-game

Lean 0 0

solutions for natural number game, a gamified tutorial for the lean theorem prover

Updated 2026-01-05 04:53:02 -08:00

youwen/ mathematize

Nix 0 0

a program for inducing mathematical excellence

Updated 2026-01-02 18:11:10 -08:00

youwen/ rednoise

Haskell 0 0

experiment with rebuilding my website in hakyll

Updated 2026-01-02 04:23:45 -08:00

Quantalabs/ website

HTML 0 0

the website for functor.systems

Updated 2026-01-01 21:51:31 -08:00

youwen/ textbooks

0 0

Updated 2025-12-30 21:10:50 -08:00