Mathew Polzin

OpenAPIKit. Codable Swift OpenAPI implementation.

JSONAPI. Swift Codable JSON:API framework

VaporOpenAPI. Swift

swift-test-codecov. Simple executable to produce code coverage numbers from the output of `swift test --enable-code-coverage`

harmony. Harmonize with coworkers around GitHub reviewing.

VaporOpenAPIExample. Swift

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.

nix-idris2-packages. Nix

swift-codecov-action. Shell

OpenAPIReflection. Additional support for turning Swift Types into OpenAPISchema

pg-idris. Beginnings of a Postgres client for Idris 2

ncurses-idris. A hobby implementation of an ncurses binding for Idris 2

idv. Idris Version Manager

NSDictionary-merge. NSDictionary, NSArray, and NSSet categories that offer a method to recursively merge two objects together such that entries which exist for the same key in two dictionaries are merged as well rather than overwritten.

OpenAPIDiff. Diffing Library for OpenAPI documentation.

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

idris-indexed. Indexed Functor/Applicative/Monad interfaces and helpers

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

idris-docker. A few versioned Idris 2 Docker images.

authenticated_data. Playing with authenticated data structures

MathMazer. A little fun with SwiftUI and a simple app for creating and playing Math Mazes

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)

TransformEncoder. A Swift Encoder that performs transformations on Codable hierarchies.

idris-snocvect. SnocVect type and companions

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

SwiftCheck. QuickCheck for Swift

FileCheck. A standalone Swift version of LLVM's flexible pattern matching file verifier

toolbox. Simplifies common command line tasks when using Vapor

fluent-postgresql. 🖋🐘 Swift ORM (queries, models, relations, etc) built on PostgreSQL.

TextTable. Swift package for easily rendering text tables. Inspired by the Python tabulate library.

swift-algorithm-club. Algorithms and data structures in Swift, with explanations!

SplashArt. Idea I had for a simple drawing app. I think it is pretty fun to use already, but there is room for improvement in rendering (if the OpenGL stuff ever gets done) and lots of room for fun new features.

template. Used by Vapor Toolbox’s new project command

OrderedDictionary. A Swift OrderedDictionary implementation based off of a Dictionary and an Array

SwiftLint. A tool to enforce Swift style and conventions.

FootlessParser. A simple parser combinator written in Swift

SwiftPMLibrary. The source list of repositories for the SwiftPM Library.

json-api. A specification for building JSON APIs

swift. The Swift Programming Language

JSONAPI-ResourceStorage. Two JSONAPI Resource storage modules.

auth. 👤 Authentication and Authorization framework for Fluent.

ajv. The fastest JSON Schema Validator. Supports draft-04/06/07