Pinned Repositories
cat-fiat
An attempt to formalize unix cat in fiat
config
Personal system configuration
declarative-hydra-example
An example illustrating declarative hydra projects
long-shebang
A tool for #! scripts with more than one argument
nix-adt
A library for using algebraic data types in the Nix expression language.
nix-buffer
nix-shell for emacs buffers
nix-exec
Run programs defined in nix expressions
nix-plugins
Collection of miscellaneous plugins for the nix expression language
nixos-riscv-bootstrap
Nix expressions to help bootstrap our way to full RISC-V support on NixOS.
nixos-types
Data types to represent the Nix language
shlevy's Repositories
shlevy/hydra
Hydra, the Nix-based continuous build system
shlevy/plutus-apps
The Plutus application platform
shlevy/agda
Agda is a dependently typed programming language / interactive theorem prover.
shlevy/Base16
shlevy/bitte
Nix Ops for Terraform, Consul, Vault, Nomad
shlevy/bitte-cells
Shared infrastructure components commonly used across clusters
shlevy/bitte-cli
CLI for Bitte
shlevy/cardano-ops
NixOps deployment configuration for IOHK/Cardano devops
shlevy/cardano-world
shlevy/ci-ops
shlevy/cicero
shlevy/conduit
A streaming data library
shlevy/crc32c
CRC32C implementation with support for CPU-specific acceleration instructions
shlevy/cubical
An experimental library for Cubical Agda
shlevy/daedalus
The open source cryptocurrency wallet for ada, built to grow with the community
shlevy/dapps-certification-ops
shlevy/flake-parts
Minimal Nix modules for Flakes: split your flakes into modules and get things done with community modules.
shlevy/flake-registry
Global registry of Nix flakes
shlevy/grow-vector
Haskell mutable vectors with amortized append operation
shlevy/hackage.nix
Automatically generated Nix expressions for Hackage
shlevy/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
shlevy/monad-control
Lift control operations, like exception catching, through monad transformers
shlevy/network
Low-level networking interface
shlevy/ops-lib
NixOps deployment configuration library for IOHK devops
shlevy/plutus
The Plutus language implementation and tools
shlevy/plutus-ops
shlevy/plutus-starter
A starter project for Plutus apps
shlevy/plutus-world
shlevy/pre-commit-hooks.nix
Seamless integration of https://pre-commit.com git hooks with Nix.
shlevy/unix
POSIX functionality