Lists (14)
Starred repositories
Nix configuration baseline for Anduril NixOS STIG https://stigui.com/stigs/Anduril_NixOS_STIG
A Haskell framework for running concurrent computations on an HPC cluster.
A Nix DSL for DNS zone files [maintainers=@raitobezarius @kirelagin @Tom-Hubrecht]
A Haskell client for the Selenium WebDriver protocol.
Collect, aggregate, and visualize a data ecosystem's metadata
Lean theorem proving interface which feels like pen-and-paper proofs.
Buttercup finds and patches software vulnerabilities
Generate a NixOS config from a Docker Compose project.
Intelligence for Kubernetes. World's most promising Kubernetes Visualization Tool for Developer and Platform Engineering teams.
`timep` is an efficient and accurate state-of-the-art trap-based profiler and flamegraph generator for bash code. `timep` does much more than "providing per-command execution times" -- it maps the …
A Haskell library that simplifies access to remote data, such as databases or web-based services.
A fast, high quality library for computing with statistics in Haskell.
gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI
Efficient Haskell Arrays featuring Parallel computation
JPype is cross language bridge to allow Python programs full access to Java class libraries.
💥 Blazing fast terminal file manager written in Rust, based on async I/O.