- ZΓΌrich, Switzerland
-
10:37
(UTC +02:00) - ners.ch
- https://matrix.to/#/@ners:nixos.dev
Stars
Monoid action monad transformer, a generalisation of AccumT
Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
A better way to search and categorize build logs
Open Source Community Manager and Fediverse compatible Meetup alternative
A proof assistant for fitch-style natural deduction proofs.
Read-only mirror of ghc-wasm-meta on ghc gitlab
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Random sequential adsorption (RSA) simulation, 2D lattice-based.
π¦οΈ π¨π Meteo Swiss Integration for Home Assistant (forked from websylv)
π Trilby is a NixOS-based operating system that is modeled after Fedora Linux. It provides new users with sensible defaults and a great out-of-the-box experience.
βοΈ A dead simple Nix flake template repository for Neovim derivations [maintainer=@mrcjkb]
A Haskell client for the Selenium WebDriver protocol.
GaloisInc / language-rust
Forked from harpocrates/language-rustParser and pretty-printer for the Rust language
Weather icons that feel alive. Beautiful, hand-crafted animated weather icons.
A bitmap programming font optimized for coziness π
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Versatile typeface for code, from code.
Haskell port of the Nanopass Compiler Framework