🕵️ 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
starred-repo
haskell
docker
linter
dockerfile
dockerfile-linter
shellcheck
static-analysis
starred-hadolint-repo
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
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.
starred-repo
functional-programming
language
repl
functional
gamedev
game-development
games
lisp
static
typed
starred-carp-lang-repo
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