aravantv's Stars
halohalospecial/atom-elmjutsu
A bag of tricks for developing with Elm. (Atom package)
staltz/xstream
An extremely intuitive, small, and fast functional reactive stream library for JavaScript
cyclejs/cyclejs
A functional and reactive JavaScript framework for predictable code
cyclejs-community/typescript-starter-cycle
An opinionated starter for Cycle.js projects powered by TypeScript.
aravantv/mb-webapp
mobxjs/mobx
Simple, scalable state management.
rundis/elm-light
Elm language plugin for Light Table
rescript-lang/rescript-compiler
The compiler for ReScript.
gritzko/swarm
JavaScript replicated model (M of MVC) library
HOL-Theorem-Prover/HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.