Mathew Polzin's repositories
OpenAPIKit
Codable Swift OpenAPI implementation.
OpenAPIReflection
Additional support for turning Swift Types into OpenAPISchema
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-adds
Random Idris 2 stuff that might be generally useful to me in the future.
dhall-haskell
Maintainable configuration files
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
neovim
Vim-fork focused on extensibility and usability
nix-darwin
nix modules for darwin
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
Sampleable
A lightweight protocol for describing types that can provide samples of themselves.
tree-sitter-authzed
Tree Sitter Grammer and Parser for Authzed Schema