Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
TSLint rules used in some projects at Divid.
TSLint rules to disable mutation in TypeScript.
Exercises for the morning part of the ElmBridge curriculum
Pattern matching syntax for ECMAScript
JSON Schema validation
This repository has a new home: https://git.synz.io/Synzvato/decentraleyes
A simple parser for react properties defined in typescript instead of propTypes.
The HTML5 Creation Engine: Create beautiful digital content with the fastest, most flexible 2D WebGL renderer.
Simple HTML5 drag-drop zone with React.js.
Transformers for monadic algebraic structures bridging types from various monadic libraries (Fluture, monet)
◘ A tiny view + state management solution using innerHTML
🦋 Fantasy Land compliant (monadic) alternative to Promises
SamWise TSLint configuration
An HTML5 saveAs() FileSaver implementation
Improve your TSLint with the missing ESLint rules
Beautiful and expressive Sparklines React component
Bindings to connect the Angular Router to @ngrx/store
RxJS powered state management for Angular applications, inspired by Redux
Reactive Router for Angular
Side effect model for @ngrx/store
abusing github commit history for the lulz