Repos
51
Stars
15
Forks
2
Top Language
Haskell
Loading contributions...
Top Repositories
An arbitrary precision pi calculator (Chudnovsky algorithm) using C++ and GNU MPFR.
Distributed bloom filters on Redis for Haskell
a programming library with geometric algorithms
RV32I CPU written in Clash
Android Doorlock App
Repositories
51Run nixpkgs-review in GitHub Actions
An arbitrary precision pi calculator (Chudnovsky algorithm) using C++ and GNU MPFR.
2025 Election for the Steering Committee
a programming library with geometric algorithms
No description provided.
Flush system metrics to statsd
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
A refreshingly simple data-driven game engine built in Rust
Manage a user environment using Nix [maintainer=@rycee]
A next generation Python CMake adaptor and Python API for plugins
ZHF read-only mirror
Combined repository of OCF agents from the RHCS and Linux-HA projects
@ofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg
check hydra for the build status of a package [maintainer=@makefu,@Artturin]
Nix, the purely functional package manager
Nix Packages collection
Smithay's toolkit for writing wayland clients
FFI and bindings for using PulseAudio from the Rust programming language.
No description provided.
A type-safe, non-TH Haskell SQL library and ORM
Distributed bloom filters on Redis for Haskell
RV32I CPU written in Clash
Industrial-strength monadic parser combinator library
Git Performance Dashboard
Haskell representation of VHDL
Android Doorlock App
C++ Library Manager for Windows, Linux, and MacOS
Dear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies
Arch Linux PKGBUILD for LLVM, Clang et al. (latest SVN code)
Cross-platform virtual machine for Squeak, Pharo, Cuis, and Newspeak.