Repositories list

• topiary

  Public
  Rust

  •

  MIT License

  •42•689•73•9•Updated Jun 5, 2025Jun 5, 2025

• FawltyDeps

  Public
  Python dependency checker

  python

  Python

  •

  Other

  •19•245•74•0•Updated Jun 5, 2025Jun 5, 2025

• nickel

  Public
  Better configuration for less

  infrastructurenixconfiguration+ 3nickelconfiguration-languagerust

  Rust

  •

  MIT License

  •100•2.6k•122•10•Updated Jun 5, 2025Jun 5, 2025

• nickel-lang.org

  Public
  The website of the Nickel language

  JavaScript

  •

  MIT License

  •4•5•14•3•Updated Jun 5, 2025Jun 5, 2025

• nix-security-tracker

  Public
  Web service for managing information on vulnerabilities in software distributed through Nixpkgs

  Python

  •11•0•0•0•Updated Jun 5, 2025Jun 5, 2025

• gazelle_cabal

  Public
  A gazelle extension to produce Haskell rules from cabal files

  Haskell

  •

  Apache License 2.0

  •6•13•14•5•Updated Jun 5, 2025Jun 5, 2025

• nixpkgs

  Public
  Nix Packages collection

  Nix

  •

  MIT License

  •16k•2•0•1•Updated Jun 4, 2025Jun 4, 2025

• opam-nix

  Public
  Turn opam-based OCaml projects into Nix derivations

  nixocamlopam-repository+ 1opam

  Nix

  •

  MIT License

  •37•127•7•0•Updated Jun 3, 2025Jun 3, 2025

• webauthn

  Public
  A library for parsing and validating webauthn/fido2 credentials

  Haskell

  •

  Apache License 2.0

  •13•34•19•0•Updated Jun 3, 2025Jun 3, 2025

• buck2

  Public
  Build system, successor to Buck

  Rust

  •

  Apache License 2.0

  •273•1•0•1•Updated Jun 3, 2025Jun 3, 2025

• cardano-peras

  Public
  Architecture for Ouroboros Peras on the Cardano chain

  TeX

  •0•2•5•0•Updated Jun 3, 2025Jun 3, 2025

• monad-bayes

  Public
  A library for probabilistic programming in Haskell.

  Jupyter Notebook

  •

  MIT License

  •68•432•37•8•Updated Jun 1, 2025Jun 1, 2025

• jupyenv

  Public
  Declarative and reproducible Jupyter environments - powered by Nix

  nixjupyterjupyterlab+ 2reproducibilityjupyter-notebooks

  Nix

  •

  MIT License

  •144•713•38•15•Updated Jun 1, 2025Jun 1, 2025

• rules_nixpkgs

  Public
  Rules for importing Nixpkgs packages into Bazel.

  nixbazelbazel-rules+ 1nixpkgs

  Starlark

  •

  Apache License 2.0

  •85•331•62•21•Updated May 31, 2025May 31, 2025

• linear-base

  Public
  Standard library for linear types in Haskell.

  haskelllinear-types

  Haskell

  •

  MIT License

  •39•343•46•10•Updated May 28, 2025May 28, 2025

• rules_haskell

  Public
  Haskell rules for Bazel.

  bazel-rulesbuild-systemhaskell+ 1bazel

  Starlark

  •

  Apache License 2.0

  •82•271•175•38•Updated May 28, 2025May 28, 2025

• cooked-validators

  Public
  Haskell

  •

  MIT License

  •11•41•9•1•Updated May 28, 2025May 28, 2025

• rules_sh

  Public
  Shell rules for Bazel

  shellbazel

  Starlark

  •

  Apache License 2.0

  •5•47•11•3•Updated May 28, 2025May 28, 2025

• github-as-code

  Public template
  GitHub Configuration as Code

  TypeScript

  •10•0•0•1•Updated May 23, 2025May 23, 2025

• gazelle_haskell_modules

  Public
  A gazelle extension to generate haskell_module rules

  Haskell

  •

  Apache License 2.0

  •3•4•6•1•Updated May 22, 2025May 22, 2025

• linear-constraints

  Public
  TeX

  •0•6•11•0•Updated May 22, 2025May 22, 2025

• cardano-node-emulator-forked

  Public
  Haskell

  •

  Apache License 2.0

  •8•0•0•6•Updated May 21, 2025May 21, 2025

• buck2.nix

  Public
  Buck2 rules for Nix

  nixbuck2

  Starlark

  •

  Apache License 2.0

  •0•13•1•0•Updated May 19, 2025May 19, 2025

• ormolu

  Public
  A formatter for Haskell source code

  haskellformatter

  Haskell

  •

  Other

  •83•997•67•1•Updated May 12, 2025May 12, 2025

• HaskellR

  Public
  The full power of R in Haskell.

  rffiinteroperability+ 1haskell

  Haskell

  •

  Other

  •41•587•20•4•Updated May 9, 2025May 9, 2025

• minimal-megaparsec-tutorial

  Public
  The smallest possible tutorial for the megaparsec Haskell library

  Haskell

  •

  MIT License

  •1•2•0•0•Updated May 9, 2025May 9, 2025

• bsidessf-hands-on-devsecops-2025

  Public archive
  BSides SF 2025: Shifting Left: A Hands-on Introductory Guide to DevSecOps

  devsecopsshift-leftbsidessf

  Java

  •

  MIT License

  •27•1•0•1•Updated May 2, 2025May 2, 2025

• cargo

  Public
  The Rust package manager

  Rust

  •

  Apache License 2.0

  •2.6k•0•0•3•Updated May 1, 2025May 1, 2025

• github-value

  Public
  Demonstrate the value of GitHub

  TypeScript

  •

  MIT License

  •6•0•0•1•Updated Apr 30, 2025Apr 30, 2025

• plutus-forked

  Public
  The Plutus language implementation and tools

  Haskell

  •

  Apache License 2.0

  •486•0•0•3•Updated Apr 29, 2025Apr 29, 2025