Skip to content
View mattpolzin's full-sized avatar
❄️
❄️

Sponsoring

@derailed
@The-Compiler
@kovidgoyal
@neovim

Highlights

  • Pro

Organizations

@idris-lang @vapor @beam-community @idris-community @swift-server-community

Block or report mattpolzin

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. OpenAPIKit OpenAPIKit Public

    Codable Swift OpenAPI implementation.

    Swift 324 47

  2. JSONAPI JSONAPI Public

    Swift Codable JSON:API framework

    Swift 80 22

  3. Poly Poly Public

    A light-weight general-purpose library to help represent situations where the type of a value is one of a set of types. An alternative to type erasure.

    Swift 20 7

  4. harmony harmony Public

    Harmonize with coworkers around GitHub reviewing.

    Idris 23 1

  5. ncurses-idris ncurses-idris Public

    A hobby implementation of an ncurses binding for Idris 2

    Idris 16 3

  6. nix-idris2-packages nix-idris2-packages Public

    Nix 13 2