Sereja313

Pinned Repositories

nixfmt
The official (but not yet stable) formatter for Nix code
Language:Haskell976 35 14342
nixos-homepage
Sources for nixos.org
Language:Astro322 29 496325
nixpkgs
Nix Packages collection & NixOS
Language:Nix18.8k 275 44k14.6k
haskell-backend
The symbolic execution engine powering the K Framework
Language:Haskell214 37 1.3k43
get-tested
Go get tested! Github Actions matrix generator for your haskell projects
Language:Haskell00
deploy-rs
A simple multi-profile Nix-flake deploy tool.
Language:Rust1.5k 25 184102
tezos-packaging
Various forms of Tezos software distribution for Linux and macOS.
Language:Python59 15 25521
universum
:milky_way: Prelude written in @Serokell
Language:Haskell178 34 17228
vault-secrets
NixOS tooling for Hashicorp Vault
Language:Nix75 14 78
testcontainers-hs
Docker containers for your integration tests! http://hackage.haskell.org/package/testcontainers
Language:Haskell65 5 1516

Sereja313/get-tested
Go get tested! Github Actions matrix generator for your haskell projects
Language:Haskell00