Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
24 repositories by Attention Score · Oct 27, 2026 – Nov 2, 2026 (UTC)
2.koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
3.simplex-chat / simplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
4.PostgREST / postgrest
REST API for any Postgres database
- haskell
- database
- rest
- postgresql
- server
- postgrest
- +7 more
5.hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
- dockerfile
- linter
- shellcheck
- haskell
- dockerfile-linter
- docker
- +1 more
7.maralorn / nix-output-monitor
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
- nix
- haskell
- hacktoberfest
- nom
8.NixOS / nixfmt
The official formatter for Nix code
9.dmjio / miso
:ramen: A tasty Haskell web and mobile framework
- ghcjs
- haskell
- virtual-dom
- miso
- ramen
- ui
- +6 more
12.lettier / gifcurry
😎 The open-source, Haskell-built video editor for GIF makers.
13.utdemir / nix-tree
Interactively browse dependency graphs of Nix derivations.
- nix
- dependency-graph
- hacktoberfest
14.jonschoning / espial
Espial is an open-source, web-based bookmarking server.
15.Gabriella439 / nix-diff
Explain why two Nix derivations differ
16.meta / Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
18.jaspervdj / patat
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
- slideshow
- slides
- +1 more
19.scotty-web / scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
21.hzlmn / haskell-must-watch
Huge list of videos, talks, courses for Haskell programming language.
- haskell
- videos
- awesome
23.nasa / ogma
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
- flight-software
- fprime
- +10 more
24.plclub / lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott