mattpolzin Goto Github PK
Name: Mathew Polzin
Type: User
Company: @opallabs
Location: Columbia, MO
Blog: http://mattpolzin.com
Mathew Polzin's Projects
idris-snocvect
SnocVect type and companions
idris2
A purely functional programming language with first class types
idris2-lsp
Language Server for Idris2
idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
idris2-pkgs
An unofficial Idris2 package repository for Nix
idris2-rhone-js
Experimental JS bindings for idris2-rhone
idv
Idris Version Manager
jira-node-cli
JIRA command line interface written in NodeJS
json-api
A specification for building JSON APIs
jsonapi
Swift Codable JSON:API framework
jsonapi-arbitrary
JSONAPI+Arbitrary adds Arbitrary conformances for many JSONAPI types making it much easier to use JSONAPI and SwiftCheck together.
jsonapi-combine
Combine Framework extensions for JSONAPI resource handling.
jsonapi-openapi
A library that adds support for generating OpenAPI compliant documentation from JSON API compliant models.
jsonapi-openapi-test-server
Server that builds a OpenAPI/JSON:API Swift test suite and runs it.
jsonapi-resourcestorage
Two JSONAPI Resource storage modules.
jsonapiviz
JSONAPI support for generating a GraphViz DOT format string.
jsonkit
Objective-C JSON
mapper
A JSON deserialization library for Swift
mathmazer
A little fun with SwiftUI and a simple app for creating and playing Math Mazes
mayberequired
This library introduces the Required and MaybeRequired types as companions to the built-in Optional type
mysql-kit
🐬 Pure Swift MySQL client built on non-blocking, event-driven sockets.
ncurses-idris
A hobby implementation of an ncurses binding for Idris 2
nixos-overlay
NixOS on your MacBook 2018+ is now a reality.
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.
openapikit
Codable Swift OpenAPI implementation.
openapireflection
Additional support for turning Swift Types into OpenAPISchema
ordereddictionary
A Swift OrderedDictionary implementation based off of a Dictionary and an Array
pg-idris
Beginnings of a Postgres client for Idris 2
plist2objc
Objective-C literals from property lists
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.