ShellCheck, a static analysis tool for shell scripts
- haskell
- shell
- static-analysis
- bash
Repository Index
72,862 visible repositories in the index
1–24 of 33 · Most stars
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
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
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
Linux VR Desktop
The core component that is used to participate in a Cardano decentralised blockchain.
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Official Haskell IDE support via the language server protocol (LSP)
- lsp-server
- haskell-language-server
- ide
- haskell
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
C to Rust translator
Easy dependency management for Nix projects
- nix
- package-manager
- versioning
The official formatter for Nix code
😎 The open-source, Haskell-built video editor for GIF makers.
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
- elm
- formatter
- code-style
Huge list of videos, talks, courses for Haskell programming language.
- haskell
- videos
- awesome
Interactively browse dependency graphs of Nix derivations.
- nix
- dependency-graph
- hacktoberfest
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Explain why two Nix derivations differ
:tv: A free and simple to use video player made with Haskell.
- haskell
- haskell-gi
- gstreamer
- gtk
Packages for defining APIs, running them, generating client code and documentation.
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
Haskell oauth2 binding
- oauth2
- oauth2-client
- haskell
- identity