Pinned Repositories
harmony
Harmonize with coworkers around GitHub reviewing.
JSONAPI
Swift Codable JSON:API framework
ncurses-idris
A hobby implementation of an ncurses binding for Idris 2
OpenAPIKit
Codable Swift OpenAPI implementation.
OpenAPIReflection
Additional support for turning Swift Types into OpenAPISchema
pg-idris
Beginnings of a Postgres client for Idris 2
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.
swift-test-codecov
Simple executable to produce code coverage numbers from the output of `swift test --enable-code-coverage`
VaporOpenAPI
VaporOpenAPIExample
mattpolzin's Repositories
mattpolzin/OpenAPIKit
Codable Swift OpenAPI implementation.
mattpolzin/JSONAPI
Swift Codable JSON:API framework
mattpolzin/harmony
Harmonize with coworkers around GitHub reviewing.
mattpolzin/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.
mattpolzin/OpenAPIReflection
Additional support for turning Swift Types into OpenAPISchema
mattpolzin/OpenAPIDiff
Diffing Library for OpenAPI documentation.
mattpolzin/jsonapi-openapi-test-server
Server that builds a OpenAPI/JSON:API Swift test suite and runs it.
mattpolzin/nix-idris2-packages
mattpolzin/idris-indexed
Indexed Functor/Applicative/Monad interfaces and helpers
mattpolzin/idris-fvect
A Fin-based Vect (can be thought of as having both a current length and maximum capacity)
mattpolzin/idris-adds
Random Idris 2 stuff that might be generally useful to me in the future.
mattpolzin/dev-env
mattpolzin/garden
Automation for Kubernetes development and testing. Spin up production-like environments for development, testing, and CI on demand. Use the same configuration and workflows at every step of the process. Speed up your builds and test runs via shared result caching
mattpolzin/harmony-test
This repo exists for Harmony to run CI tests against.
mattpolzin/idris-frex
mattpolzin/Idris2
A purely functional programming language with first class types
mattpolzin/idris2-cptr
Fun with C-Pointers
mattpolzin/idris2-json
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
mattpolzin/idris2-linux
Utilities for using Idris2 on GNU/Linux systems
mattpolzin/idris2-lsp
Language Server for Idris2
mattpolzin/idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
mattpolzin/idris2-pack
mattpolzin/idris2-pack-db
mattpolzin/LSP-lib
A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.
mattpolzin/mermaid
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
mattpolzin/nix-darwin
nix modules for darwin
mattpolzin/nix-update
Swiss-knife for updating nix packages.
mattpolzin/nixpkgs
Nix Packages collection
mattpolzin/ReGreet
Clean and customizable greeter for greetd
mattpolzin/website