#
zoroqi
Follow
Lists (5)
Starred repositories
158
stars
written in Haskell
Clear filter
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
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.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Cryptographic currency implementing Ouroboros PoS protocol
A Dependently Typed Functional Programming Language
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
The core component that is used to participate in a Cardano decentralised blockchain.
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
A shell script which checks your $HOME for unwanted files and directories.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
A static website compiler library in Haskell
A RESTful Haskell web framework built on WAI.
Agda is a dependently typed programming language / interactive theorem prover.
The Eta Programming Language, a dialect of Haskell on the JVM
