Lists (14)
Starred repositories
Design system for Haskell Miso inspired by the Atlassian Design System
A desktop application for Penpot, an open-source design tool.
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