ShellCheck, a static analysis tool for shell scripts
- haskell
- shell
- static-analysis
- bash
Repository Index
86,576 visible repositories in the index
1–24 of 43 · Most stars
A friendly programming language from the future
- haskell
- programming-language
- unison
- unison-language
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
- haskell
- postgresql
- nix
- mvc
Functional Programming Course
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
:boom::computer::boom: A data-parallel functional programming language
A RESTful Haskell web framework built on WAI.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
What I Wish I Knew When Learning Haskell
- functional-programming-examples
- functional-programming
- examples
- article-series
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
:ramen: A tasty Haskell web and mobile framework
- ghcjs
- haskell
- virtual-dom
- miso
C to Rust translator
lamdu - towards the next generation IDE
- integrated-development-environment
- programming-language
- programmer-tool
- projectional-editor
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Official upstream development repository for Cabal and cabal-install
- cabal
- haskell
- hackage
A declarative Unix terminal UI library written in Haskell
- vty
- haskell
- terminal
- ui
Research language for array processing in the Haskell/ML family
The Plutus language implementation and tools
📜 Haskell course info, plan, video lectures, slides
😎 The open-source, Haskell-built video editor for GIF makers.