Skip to content
@awakesecurity

Awake Security

Popular repositories Loading

  1. gRPC-haskell gRPC-haskell Public

    Haskell gRPC support

    Haskell 243 78

  2. nix-deploy nix-deploy Public

    Deploy software or an entire NixOS system configuration to another NixOS system

    Haskell 174 10

  3. spectacle spectacle Public

    Embedded specification language & model checker in Haskell

    Haskell 173 12

  4. hocker hocker Public

    Utilities for interacting with the docker registry and generating nix build instructions

    Haskell 121 9

  5. nix-delegate nix-delegate Public

    Convenient utility for distributed Nix builds

    Haskell 90 6

  6. proto3-suite proto3-suite Public

    Haskell Protobuf Implementation

    Haskell 82 59

Repositories

Showing 10 of 47 repositories
  • grpc-mqtt Public
    Haskell 28 Apache-2.0 4 2 2 Updated Apr 28, 2025
  • proto3-suite Public

    Haskell Protobuf Implementation

    Haskell 82 59 25 4 Updated Apr 25, 2025
  • spectacle Public

    Embedded specification language & model checker in Haskell

    Haskell 173 Apache-2.0 12 6 2 Updated Apr 24, 2025
  • gRPC-haskell Public

    Haskell gRPC support

    Haskell 243 Apache-2.0 78 28 2 Updated Apr 24, 2025
  • hocker Public

    Utilities for interacting with the docker registry and generating nix build instructions

    Haskell 121 Apache-2.0 9 5 1 Updated Apr 23, 2025
  • terraform-provider-dhall Public

    Use dhall as an external datasource

    Go 11 BSD-3-Clause 1 1 1 Updated Apr 16, 2025
  • nixpkgs Public Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix 1 MIT 15,678 0 2 Updated Apr 10, 2025
  • gen-ed25-keypair Public archive

    Ed25519 key generation, message signing, and signature verification CLI tools

    Haskell 4 Apache-2.0 1 0 0 Updated Mar 26, 2025
  • proto3-wire Public
    Haskell 24 31 5 1 Updated Mar 18, 2025
  • milena Public Forked from tylerholien/milena

    the (very humble) beginnings of a kafka client for haskell

    Haskell 0 BSD-3-Clause 22 0 2 Updated Aug 15, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…