🕵️ Haskell STatic ANalyser
Updated 2024-07-05 13:29:47 +03:00
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Updated 2024-05-08 15:06:04 +03:00
Dockerfile linter, validate inline bash, written in Haskell
Updated 2024-04-25 21:02:57 +03:00
Haskell static site generator that is change-aware
Updated 2024-03-24 22:44:48 +03:00
Haskell static site generator that is change-aware; For current development, see https://github.com/srid/ema/pull/81
Updated 2024-03-24 22:44:48 +03:00
Serializable closures for distributed programming.
Updated 2023-11-27 14:33:08 +03:00
A statically typed lisp, without a GC, for real-time applications.
Updated 2023-02-28 11:34:12 +03:00
Haskell static site generator based on Shake (superseded by Ema)
Updated 2021-04-29 03:06:22 +03:00
A static website compiler library in Haskell
Updated 2019-09-01 14:49:36 +03:00