functor.systems

A homotopy-coherent collective of free software hackers.

Earth
https://functor.systems
Repositories
16
 Projects
2
 Packages Members
7
Filter
Sort
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
liquidhaskell
Haskell 0 1
mirror of ucsd-progsys/liquidhaskell
haskell refinement-types smt verification
Updated 2026-03-24 12:47:04 -07:00
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
blog
Haskell 0 0
a math and technology blog from functor.systems
Updated 2026-03-10 09:26:05 -07:00
functorOS
Nix 0 4
A highly experimental NixOS based Linux® distribution.
functor.systems nix nixos
Updated 2026-03-08 09:26:23 -07:00
functoros-apple-silicon
Nix 0 0
compatibility module for apple silicon via asahi linux
Updated 2026-03-05 07:28:54 -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
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

Members 7