Repositories list

• nickel-lang.org

  Public
  The website of the Nickel language

  JavaScript

  •

  MIT License

  •5•5•15•7•Updated Sep 23, 2025Sep 23, 2025

• rules_haskell

  Public
  Haskell rules for Bazel.

  bazel-rulesbuild-systemhaskell+ 1bazel

  Starlark

  •

  Apache License 2.0

  •86•277•179•39•Updated Sep 22, 2025Sep 22, 2025

• pytest-e2e-automation

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Sep 22, 2025Sep 22, 2025

• ifl2025-liquidhaskell

  Public
  Refinement-Types Driven Development: A study @ IFL 2025

  TeX

  •1•1•0•1•Updated Sep 22, 2025Sep 22, 2025

• nixpkgs

  Public
  Nix Packages collection

  Nix

  •

  MIT License

  •17k•1•0•1•Updated Sep 22, 2025Sep 22, 2025

• tbagrel-phd-manuscript

  Public
  Thomas BAGREL PhD manuscript on _Type systems for memory management in functional programming languages_

  TeX

  •0•2•0•0•Updated Sep 22, 2025Sep 22, 2025

• cardano-canonical-ledger

  Public
  Canonical Ledger Format for Cardano

  Haskell

  •0•1•8•0•Updated Sep 22, 2025Sep 22, 2025

• bazel-central-registry

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

  Starlark

  •

  Apache License 2.0

  •548•0•0•3•Updated Sep 22, 2025Sep 22, 2025

• topiary

  Public
  Rust

  •

  MIT License

  •46•726•87•13•Updated Sep 22, 2025Sep 22, 2025

• nickel

  Public
  Better configuration for less

  infrastructurenixconfiguration+ 3nickelconfiguration-languagerust

  Rust

  •

  MIT License

  •105•2.7k•135•17•Updated Sep 22, 2025Sep 22, 2025

• rules_img

  Public
  Modern Bazel rules for building OCI container images with advanced performance optimizations

  dockerkubernetescontainers+ 2bazeloci

  Go

  •

  Apache License 2.0

  •6•45•4•2•Updated Sep 22, 2025Sep 22, 2025

• linear-constraints

  Public
  TeX

  •0•8•11•0•Updated Sep 22, 2025Sep 22, 2025

• pup

  Public
  Bidirectional grammar combinators

  haskellparser-combinatorshaskell-library+ 2pretty-printingbidirectional-programming

  Haskell

  •

  MIT License

  •0•2•0•0•Updated Sep 22, 2025Sep 22, 2025

• stacked

  Public
  A modern indexed monad library for Haskell

  haskellhaskell-librarycontinuations+ 2delimited-controlindexed-monad

  Haskell

  •

  MIT License

  •0•8•0•0•Updated Sep 22, 2025Sep 22, 2025

• gazelle_haskell_modules

  Public
  A gazelle extension to generate haskell_module rules

  Haskell

  •

  Apache License 2.0

  •3•5•6•2•Updated Sep 21, 2025Sep 21, 2025

• monad-bayes

  Public
  A library for probabilistic programming in Haskell.

  Jupyter Notebook

  •

  MIT License

  •67•439•38•7•Updated Sep 21, 2025Sep 21, 2025

• jupyenv

  Public
  Declarative and reproducible Jupyter environments - powered by Nix

  nixjupyterjupyterlab+ 2reproducibilityjupyter-notebooks

  Nix

  •

  MIT License

  •152•724•38•16•Updated Sep 21, 2025Sep 21, 2025

• CIPs

  Public
  Cardano Improvement Proposals (CIPs)

  JavaScript

  •

  Creative Commons Attribution 4.0 International

  •365•0•0•2•Updated Sep 20, 2025Sep 20, 2025

• cardano-peras

  Public
  Architecture for Ouroboros Peras on the Cardano chain

  TeX

  •0•3•44•1•Updated Sep 19, 2025Sep 19, 2025

• rules_nixpkgs

  Public
  Rules for importing Nixpkgs packages into Bazel.

  nixbazelbazel-rules+ 1nixpkgs

  Starlark

  •

  Apache License 2.0

  •90•351•62•24•Updated Sep 19, 2025Sep 19, 2025

• inline-java

  Public
  Haskell/Java interop via inline Java code in Haskell modules.

  javainteroperabilityhaskell+ 3jvmffijni

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •16•234•10•0•Updated Sep 18, 2025Sep 18, 2025

• codeql-wrapper

  Public
  A simple solution to run codeql anywhere

  pythoncodeql

  Python

  •

  MIT License

  •0•3•7•1•Updated Sep 17, 2025Sep 17, 2025

• cooked-validators

  Public
  Haskell

  •

  MIT License

  •11•42•13•1•Updated Sep 16, 2025Sep 16, 2025

• nix-security-tracker

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

  Python

  •11•0•0•0•Updated Sep 15, 2025Sep 15, 2025

• agentic-coding-handbook

  Public
  Shell

  •

  MIT License

  •3•12•0•4•Updated Sep 14, 2025Sep 14, 2025

• codeql-wrapper-pipelines

  Public
  Pipeline examples to run codeql anywhere using codeql-wrapper

  jenkinscircleciactions+ 2harnessazure-pipeline

  Rust

  •

  MIT License

  •0•0•0•3•Updated Sep 14, 2025Sep 14, 2025

• gazelle_cabal

  Public
  A gazelle extension to produce Haskell rules from cabal files

  Haskell

  •

  Apache License 2.0

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

• github-value

  Public
  Demonstrate the value of GitHub

  TypeScript

  •

  MIT License

  •8•0•0•4•Updated Sep 9, 2025Sep 9, 2025

• run-nix-shell

  Public
  GitHub action for executing scripts via nix-shell.

  Shell

  •

  Apache License 2.0

  •1•5•4•2•Updated Sep 9, 2025Sep 9, 2025

• nickel-kubernetes

  Public
  Typecheck, template and modularize your Kubernetes definitions with Nickel

  NCL

  •

  MIT License

  •1•17•0•1•Updated Sep 8, 2025Sep 8, 2025