layus

layus.github.io

bazel-arm-none-eabi

ARM embedded toolchains for Bazel

dotfiles

mozart2

Mozart Programming System v2

bazel

a fast, scalable, multi-language and extensible build system

buildbuddy

BuildBuddy is an open source Bazel build event viewer, result store, remote caching, and remote build execution platform.

hackage-server

Hackage-Server: A Haskell Package Repository

hatgame

An online version of the celebrities/hat game.

hnix

A Haskell re-implementation of the Nix expression language

hnix-overlay

Nix files and Haskell overlay containing Hnix packages and surrounding ecosystem

hnix-store

Haskell implementation of the nix store API

home-manager

Manage a user environment using Nix [maintainer=@rycee]

HVM

A massively parallel, optimal functional runtime in Rust

mach-nix

Create highly reproducible python environments

nix

Nix, the purely functional package manager

nixos-planet

nixpkgs

Nix Packages collection

polysemy

:gemini: higher-order, no-boilerplate monads

readlinks

The pedantic symlink resolver

redpanda

Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!

rules_cuda

Starlark implementation of bazel rules for CUDA.

rules_foreign_cc

Build rules for interfacing with "foreign" (non-Bazel) build systems (CMake, configure-make, GNU Make, boost, ninja, Meson)

rules_gtsam

rules_nixpkgs

Rules for importing Nixpkgs packages into Bazel.

rules_ocaml

A Bazel Language Support Package for OCaml

seastar

High performance server-side application framework

skyscope

A tool for visualising and exploring Bazel Skyframe graphs.

systembus-notify

systembus-notify - system bus notification daemon

vscode-oz

Bring the magic of Oz to vscode

zim-desktop-wiki

Main repository of the zim desktop wiki project