Mathew Polzin's repositories
Idris2
A purely functional programming language with first class types
idris2-json
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
nixpkgs
Nix Packages collection
OpenAPIKit
Codable Swift OpenAPI implementation.
ReGreet
Clean and customizable greeter for greetd
OpenAPIDiff
Diffing Library for OpenAPI documentation.
idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
idris-fvect
A Fin-based Vect (can be thought of as having both a current length and maximum capacity)
jsonapi-openapi-test-server
Server that builds a OpenAPI/JSON:API Swift test suite and runs it.
idris2-lsp
Language Server for Idris2
idris-adds
Random Idris 2 stuff that might be generally useful to me in the future.
nix-darwin
nix modules for darwin
mermaid
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
JSONAPI-OpenAPI
A library that adds support for generating OpenAPI compliant documentation from JSON API compliant models.
LSP-lib
A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.
idris-docker
A few versioned Idris 2 Docker images.
idris2-parser
Total lexer and parser for Idris2
collie
Command line interface library in Idris
dhall-haskell
Maintainable configuration files
VaporTypedRoutes
Typed Routes extension to the Vapor framework.
OpenAPIReflection
Additional support for turning Swift Types into OpenAPISchema