Alternatives and similar repositories for formal:

Users that are interested in formal are comparing it to the libraries listed below

• codeparticle / react-visible
  ☆18Updated this week
• codeparticle / react-list
  ☆14Updated this week
• codeparticle / react-sidenav
  ☆11Updated this week
• codeparticle / codeparticle.website.process
  ☆13Updated last week
• codeparticle / nativescript-doorbell.io
  Doorbell.io plugin for nativescript
  ☆17Updated 2 years ago
• JBD-QL / QLegance
  An open-source lightweight GraphQL client library for Javascript environments
  ☆40Updated 3 years ago
• FalconHQ / h2-server-push
  HTTP2 Server Push Express Middleware
  ☆16Updated 7 years ago
• Vuedeux / vuedeux
  Binding Solutions for Vue & Redux
  ☆69Updated 7 years ago
• badNboji / tapered-js
  Easy Inline Test Creation in Comments
  ☆31Updated 7 years ago
• benhurdavies / node-cache-engine
  High performing caching package for node/javascript
  ☆12Updated 7 months ago
• elefanty / offramp
  Simple routing for your single page applications.
  ☆114Updated 8 years ago
• mKondoJS / OverVue
  A library providing Vue applications with asynchronous-first state management
  ☆49Updated 8 years ago
• sheep-host / Sheep-host
  BaaS
  ☆32Updated 8 years ago
• Nehle / horux
  A collection of utility belt functions for composing reducers for redux
  ☆10Updated 9 months ago
• glebec / volleyball
  🏐 Tiny HTTP logger for Express showing asynchronous requests and responses
  ☆45Updated 4 years ago
• Sherpa-UI / GUI
  VR Website Builder
  ☆18Updated 7 years ago
• rsamec / react-shapes
  SVG shapes for react
  ☆27Updated 9 years ago
• DataHiveDJW / nodexchange
  A Node.js scaling & load-balancing library
  ☆79Updated 7 years ago
• NebulisAnalytics / nebulis-server
  Realtime analytics and reporting for coding projects
  ☆24Updated 3 weeks ago
• RomulusAndRemus / romejs-app
  Electron version of RomeJS.
  ☆80Updated 7 years ago
• YozhikM / draft-regex
  Flexible helpers for draft.js
  ☆19Updated 4 years ago
• deThread / dethread
  An application library for distributed computing with JavaScript, WebSockets, and web workers in the browser.
  ☆74Updated 8 years ago
• team-navigitor / naviGITor
  Keep track of your teammate's local Git activity!
  ☆46Updated 8 years ago
• nnZTA / DEVision.js
  Track your application's state changes at run-time & export test scripts.
  ☆33Updated 7 years ago
• Live-API / LAPI-Chrome-Ext
  ☆21Updated 7 years ago
• mobilusoss / react-notification-badge
  Simple notification badge react component
  ☆48Updated 10 months ago
• viruschidai / react-match-media
  A react component allows you to conditionally render your components based on media queries.
  ☆39Updated 5 years ago
• TeamMJM / SpionIO
  Lightweight focus group management platform that can capture and replay user interaction on your site and improve the UX in everything yo…
  ☆36Updated 7 years ago
• theCopernicusGame / Main
  Dynamic 3D environment capturing player gestures for educational game providing intuitive, visceral understanding of gravity and force.
  ☆24Updated 8 years ago
• n8jadams / smoothr
  A custom React router that leverages the Web Animations API and CSS animations.
  ☆27Updated 5 years ago