functor.systems

A homotopy-coherent collective of free software hackers.

Earth
https://functor.systems
Repositories
15
 Projects
2
 Packages Members
5
Filter
Sort
liquidhaskell
Haskell 0 1
mirror of ucsd-progsys/liquidhaskell
haskell refinement-types smt verification
Updated 2026-02-07 03:12:13 -08:00
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
functorOS
Nix 0 3
A highly experimental NixOS based Linux® distribution.
functor.systems nix nixos
Updated 2026-02-03 11:18:11 -08:00
functoros-apple-silicon
Nix 0 0
compatibility module for apple silicon via asahi linux
Updated 2026-01-28 11:11:14 -08:00
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
blog
Haskell 0 0
a math and technology blog from functor.systems
Updated 2026-01-05 20:32:22 -08:00
udon Template
Haskell 1 0
A barebones template using Haskell miso.
Updated 2025-12-28 04:40:01 -08:00
hask Template
Nix 1 0
Nix tooling for modern Haskell
Updated 2025-12-24 15:08:01 -08:00
fourmolu
Nix 0 0
Working Nix package for the latest Fourmolu version
Updated 2025-12-21 20:34:12 -08:00
rfcs
0 0
Request For Comments for functor.systems and its constituent projects
Updated 2025-12-15 12:33:55 -08:00
newtowne
Nix 0 0
Our US-East server configuration, running functorOS
Updated 2025-11-24 01:04:54 -08:00
ocredence
Lua 0 0
A time travel map featuring non-Euclidean geometries and map-augmented generation (MAG)
Updated 2025-10-14 13:29:06 -07:00
identity
1 0
The visual identity of functor.systems
Updated 2025-10-12 13:17:00 -07:00
colmena-maps
Svelte 0 0
hackmit 2025 grand prize project. not to be confused with the colmena, the nix deployment tool
Updated 2025-09-24 17:21:23 -07:00
blaze-html
Haskell 0 1
A blazingly fast HTML combinator library for Haskell.
Updated 2025-03-12 03:25:48 -07:00

Members 5