Pinned Repositories
ade-extractor
A simple script to extract agenda information from ADE
bazel-arm-none-eabi
ARM embedded toolchains for Bazel
dotfiles
layus.github.io
mozart2
Mozart Programming System v2
Os
Ingi 1115 - Systèmes d'exploitation
layus's Repositories
layus/layus.github.io
layus/bazel-arm-none-eabi
ARM embedded toolchains for Bazel
layus/dotfiles
layus/mozart2
Mozart Programming System v2
layus/bazel
a fast, scalable, multi-language and extensible build system
layus/buildbuddy
BuildBuddy is an open source Bazel build event viewer, result store, remote caching, and remote build execution platform.
layus/hackage-server
Hackage-Server: A Haskell Package Repository
layus/hatgame
An online version of the celebrities/hat game.
layus/hnix
A Haskell re-implementation of the Nix expression language
layus/hnix-overlay
Nix files and Haskell overlay containing Hnix packages and surrounding ecosystem
layus/hnix-store
Haskell implementation of the nix store API
layus/home-manager
Manage a user environment using Nix [maintainer=@rycee]
layus/HVM
A massively parallel, optimal functional runtime in Rust
layus/mach-nix
Create highly reproducible python environments
layus/nix
Nix, the purely functional package manager
layus/nixos-planet
layus/nixpkgs
Nix Packages collection
layus/polysemy
:gemini: higher-order, no-boilerplate monads
layus/readlinks
The pedantic symlink resolver
layus/redpanda
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!
layus/rules_cuda
Starlark implementation of bazel rules for CUDA.
layus/rules_foreign_cc
Build rules for interfacing with "foreign" (non-Bazel) build systems (CMake, configure-make, GNU Make, boost, ninja, Meson)
layus/rules_gtsam
layus/rules_nixpkgs
Rules for importing Nixpkgs packages into Bazel.
layus/rules_ocaml
A Bazel Language Support Package for OCaml
layus/seastar
High performance server-side application framework
layus/skyscope
A tool for visualising and exploring Bazel Skyframe graphs.
layus/systembus-notify
systembus-notify - system bus notification daemon
layus/vscode-oz
Bring the magic of Oz to vscode
layus/zim-desktop-wiki
Main repository of the zim desktop wiki project