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/nix-plugins
Collection of miscellaneous plugins for the nix expression language
shlevy/config
Personal system configuration
shlevy/eventuo11y
An event-oriented observability library
shlevy/nix
Nix, the purely functional package manager
shlevy/e11y
An event-oriented observability library
shlevy/nixos-anywhere
install nixos everywhere via ssh [maintainer=@numtide]
shlevy/nixos-images
Automatically build (netboot) images for NixOS [maintainer=@Mic92]
shlevy/nixpkgs
Nix Packages collection
shlevy/priodyn
Project management with dynamic prioritization.
shlevy/cardano-haskell-packages
Metadata for Cardano's Haskell package repository
shlevy/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
shlevy/cardano-perf
Performance testing infrastructure
shlevy/cborg
Binary serialisation in the CBOR format
shlevy/crypton
lowlevel set of cryptographic primitives for haskell
shlevy/general-allocate
Exception-safe resource management in more monads
shlevy/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
shlevy/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
shlevy/iogx
Flake Template for Haskell Projects
shlevy/marlowe-cardano
Marlowe smart contract language Cardano implementation
shlevy/marlowe-deploy
Deployments for the marlowe project
shlevy/marlowe-playground
shlevy/marlowe-runner
A simple app which allows you to deploy and progress through Marlowe contract on Cardano.
shlevy/melpa
Scripts for building Emacs packages from Version Control
shlevy/nix2container
An archive-less dockerTools.buildImage implementation
shlevy/ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
shlevy/parametric-functor
A known-parametric Functor typeclass
shlevy/sc-dev-platform
Smart Contracts Tribe Developer Platform
shlevy/servant
Main repository for the servant libraries. Web API combinators, with servers, clients and documentation
shlevy/shealevy.com
shlevy/vector-algorithms