Stars
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A Haskell library that simplifies access to remote data, such as databases or web-based services.
A Dependently Typed Functional Programming Language
A static website compiler library in Haskell
💥💻💥 A data-parallel functional programming language
The Eta Programming Language, a dialect of Haskell on the JVM
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …
Command line client for Nix binary cache hosting:
Kit: a magical, high performance programming language, designed for game development.
Industrial-strength monadic parser combinator library
Embedded language for high-performance array computations