aravantv

aravantv's Stars

• halohalospecial/atom-elmjutsu

  A bag of tricks for developing with Elm. (Atom package)

  Language:JavaScript19224

• staltz/xstream

  An extremely intuitive, small, and fast functional reactive stream library for JavaScript

  Language:TypeScript2.4k138

• cyclejs/cyclejs

  A functional and reactive JavaScript framework for predictable code

  Language:TypeScript10.2k420

• cyclejs-community/typescript-starter-cycle

  An opinionated starter for Cycle.js projects powered by TypeScript.

  Language:TypeScript3310

• aravantv/mb-webapp

  Language:TypeScript11

• mobxjs/mobx

  Simple, scalable state management.

  Language:TypeScript27.4k1.8k

• rundis/elm-light

  Elm language plugin for Light Table

  Language:JavaScript13310

• rescript-lang/rescript-compiler

  The compiler for ReScript.

  Language:ReScript6.6k440

• gritzko/swarm

  JavaScript replicated model (M of MVC) library

  Language:JavaScript2.7k97

• 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.

  Language:Standard ML615136