Repositories list

• nixpkgs

  Public
  Nix Packages collection

  Nix

  •

  MIT License

  •15k•2•0•0•Updated Feb 4, 2025Feb 4, 2025

• topiary-opam

  Public
  OPAM package for Topiary

  Shell

  •0•0•1•1•Updated Feb 4, 2025Feb 4, 2025

• pytest-automation-boilerplate

  Public
  Python

  •

  MIT License

  •3•16•2•0•Updated Feb 4, 2025Feb 4, 2025

• nickel

  Public
  Better configuration for less

  infrastructurenixconfiguration+ 3nickelconfiguration-languagerust

  Rust

  •

  MIT License

  •96•2.5k•127•12•Updated Feb 4, 2025Feb 4, 2025

• topiary

  Public
  Rust

  •

  MIT License

  •35•614•64•6•Updated Feb 4, 2025Feb 4, 2025

• genealogos

  Public
  Genealogos, a Nix sbom generator

  nixsbomcyclonedx+ 1sbom-generator

  Rust

  •

  MIT License

  •0•40•5•2•Updated Feb 4, 2025Feb 4, 2025

• cardano-peras

  Public
  Plans and prototypes for an implementation of Ouroboros Peras on the Cardano chain

  TeX

  •0•1•17•1•Updated Feb 4, 2025Feb 4, 2025

• cardano-node-emulator-forked

  Public
  Haskell

  •

  Apache License 2.0

  •5•0•0•6•Updated Feb 4, 2025Feb 4, 2025

• cooked-validators

  Public
  Haskell

  •

  MIT License

  •11•39•22•1•Updated Feb 3, 2025Feb 3, 2025

• nixtract

  Public
  A CLI tool to extract the graph of derivations from a Nix flake.

  Rust

  •4•87•7•2•Updated Feb 3, 2025Feb 3, 2025

• FawltyDeps

  Public
  Python dependency checker

  python

  Python

  •

  Other

  •16•217•78•3•Updated Feb 3, 2025Feb 3, 2025

• gha-nix-cache

  Public
  THIS IS WORK IN PROGRESS, DO NOT USE

  Nix

  •0•0•0•0•Updated Feb 3, 2025Feb 3, 2025

• rules_haskell

  Public
  Haskell rules for Bazel.

  bazel-rulesbuild-systemhaskell+ 1bazel

  Starlark

  •

  Apache License 2.0

  •81•268•174•40•Updated Feb 3, 2025Feb 3, 2025

• cmc2025

  Public
  Nix

  •0•0•0•0•Updated Feb 3, 2025Feb 3, 2025

• gazelle_cabal

  Public
  A gazelle extension to produce Haskell rules from cabal files

  Haskell

  •

  Apache License 2.0

  •5•13•14•4•Updated Feb 2, 2025Feb 2, 2025

• monad-bayes

  Public
  A library for probabilistic programming in Haskell.

  Jupyter Notebook

  •

  MIT License

  •64•416•36•8•Updated Feb 2, 2025Feb 2, 2025

• jupyenv

  Public
  Declarative and reproducible Jupyter environments - powered by Nix

  nixjupyterjupyterlab+ 2reproducibilityjupyter-notebooks

  Nix

  •

  MIT License

  •134•689•38•13•Updated Feb 2, 2025Feb 2, 2025

• rules_nixpkgs

  Public
  Rules for importing Nixpkgs packages into Bazel.

  nixbazelbazel-rules+ 1nixpkgs

  Starlark

  •

  Apache License 2.0

  •84•310•63•18•Updated Feb 1, 2025Feb 1, 2025

• FawltyDeps-action

  Public
  FawltyDeps GitHub Action to lint packages for undeclared or unused 3rd-party dependencies

  cilinterpython3+ 1github-actions

  Shell

  •

  MIT License

  •0•2•0•0•Updated Jan 31, 2025Jan 31, 2025

• gazelle_haskell_modules

  Public
  A gazelle extension to generate haskell_module rules

  Haskell

  •

  Apache License 2.0

  •3•4•6•3•Updated Jan 30, 2025Jan 30, 2025

• bazel-central-registry

  Public
  The central registry of Bazel modules for the Bzlmod external dependency system.

  Starlark

  •

  Apache License 2.0

  •377•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• project

  Public template
  Use this template when creating a new project.

  MIT License

  •1•3•0•0•Updated Jan 28, 2025Jan 28, 2025

• linear-constraints

  Public
  TeX

  •0•6•11•0•Updated Jan 28, 2025Jan 28, 2025

• rules_sh

  Public
  Shell rules for Bazel

  shellbazel

  Starlark

  •

  Apache License 2.0

  •4•44•11•3•Updated Jan 24, 2025Jan 24, 2025

• smtlib-backends

  Public
  A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.

  haskell-librarysmtlib2

  Haskell

  •

  MIT License

  •1•19•0•0•Updated Jan 23, 2025Jan 23, 2025

• nickel-lang.org

  Public
  The website of the Nickel language

  JavaScript

  •

  MIT License

  •4•5•13•10•Updated Jan 23, 2025Jan 23, 2025

• ormolu

  Public
  A formatter for Haskell source code

  haskellformatter

  Haskell

  •

  Other

  •82•977•63•1•Updated Jan 23, 2025Jan 23, 2025

• dsomm-baseline

  Public
  A framework to check various OWASP DSOMM features for repository using gh cli

  Python

  •0•0•0•0•Updated Jan 23, 2025Jan 23, 2025

• opam-nix

  Public
  Turn opam-based OCaml projects into Nix derivations

  nixocamlopam-repository+ 1opam

  Nix

  •

  MIT License

  •35•116•6•1•Updated Jan 23, 2025Jan 23, 2025

• run-nix-shell

  Public
  GitHub action for executing scripts via nix-shell.

  Shell

  •

  Apache License 2.0

  •1•3•4•3•Updated Jan 21, 2025Jan 21, 2025