mcgordonite's Stars
OpenAPITools/openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
bvaughn/react-window
React components for efficiently rendering large lists and tabular data
eclipse-theia/theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
gaearon/react-document-title
Declarative, nested, stateful, isomorphic document.title for React
piotrwitek/react-redux-typescript-guide
The complete guide to static typing in "React & Redux" apps using TypeScript
bodil/im-rs
Assorted immutable collection datatypes for Rust
tc39/proposal-pattern-matching
Pattern matching syntax for ECMAScript
remix-run/react-router
Declarative routing for React
remix-run/history
Manage session history with JavaScript
qubyte/fetch-ponyfill
WHATWG fetch ponyfill
paf31/purescript-sdom
An experiment in replacing the virtual DOM and avoiding diffing
A1kmm/proofsweeper
Play Minesweeper by formally proving your moves in Idris
sharkdp/purescript-quantities
Physical quantities and units
sharkdp/cube-composer
A puzzle game inspired by functional programming
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language