mattpolzin

OpenAPIKit

Codable Swift OpenAPI implementation.

JSONAPI

Swift Codable JSON:API framework

VaporOpenAPI

harmony

Harmonize with coworkers around GitHub reviewing.

VaporOpenAPIExample

OpenAPIReflection

Additional support for turning Swift Types into OpenAPISchema

Poly

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.

idv

Idris Version Manager

JSONAPI-OpenAPI

A library that adds support for generating OpenAPI compliant documentation from JSON API compliant models.

OpenAPIDiff

Diffing Library for OpenAPI documentation.

idris-docker

A few versioned Idris 2 Docker images.

jsonapi-openapi-test-server

Server that builds a OpenAPI/JSON:API Swift test suite and runs it.

VaporTypedRoutes

Typed Routes extension to the Vapor framework.

idris-fvect

A Fin-based Vect (can be thought of as having both a current length and maximum capacity)

idris-adds

Random Idris 2 stuff that might be generally useful to me in the future.

collie

Command line interface library in Idris

dev-env

dhall-haskell

Maintainable configuration files

idrall

Dhall bindings for Idris

idris-frex

Idris2

A purely functional programming language with first class types

idris2-json

Automatically derivable JSON marshallers in the spirit of Haskell's aeson

idris2-lsp

Language Server for Idris2

idris2-nvim

Simple configuration and extra tools for NVIM + LSP + Idris2

idris2-parser

Total lexer and parser for Idris2

LSP-lib

A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.

mermaid

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

nix-darwin

nix modules for darwin

nixpkgs

Nix Packages collection

website