Stars
https://noogle.dev - nix function exploring. [maintainer=@hsjobeki]
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
🔥 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 polished Dired with batteries included.
Tagref helps you manage cross-references in your code.
NIx Language server, an incremental analysis assistant for writing in Nix.
Nix - Static, Permissionless, Installation-free, Pre-configured
Un outil de gestion de réunion avec prise de décision s'appuyant sur un pool de votants
Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer
᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
Live Share support in Visual Studio Code for NixOS
A cross-platform, OpenGL terminal emulator.
A higher-order effect system where the sky's the limit
Synapse: Matrix homeserver written in Python/Twisted.
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
VS Code extension for Haskell, powered by haskell-language-server
A tutorial on writing Haskell Language Server plugins
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)