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 / codeparticle.website.process
  ☆13Updated last week
• codeparticle / react-sidenav
  ☆11Updated this week
• codeparticle / react-list
  ☆14Updated this 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
• 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
• Vuedeux / vuedeux
  Binding Solutions for Vue & Redux
  ☆69Updated 7 years ago
• FalconHQ / h2-server-push
  HTTP2 Server Push Express Middleware
  ☆16Updated 7 years ago
• SJCProduction / Helium.js
  Automating Universal React Applications
  ☆63Updated 7 years ago
• NebulisAnalytics / nebulis-server
  Realtime analytics and reporting for coding projects
  ☆24Updated last week
• BrascoJS / delorean
  A MobX-React Time Travel Debugger
  ☆249Updated 5 years ago
• Brain-Day / brain-freeze
  A more predictable state management alternative
  ☆53Updated 8 years ago
• DataHiveDJW / nodexchange
  A Node.js scaling & load-balancing library
  ☆79Updated 8 years ago
• team-veritas-workers / ondemand-gre
  Electron app for on-demand/offline platform for advanced exam prep
  ☆11Updated 8 years ago
• SalazarTeam / salazar
  ☆15Updated 7 years ago
• bertilxi / typepack
  Zero config Typescript Bundling
  ☆15Updated 6 years ago
• react-rpm / react-rpm
  React-RPM is a Chrome DevTool that provides real-time performance and efficiency measurements for React applications
  ☆48Updated 8 years ago
• Team-CHAD / DevDecks
  An open-source and extensible, standalone presentation app for developers
  ☆68Updated 8 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
• danilomendes12 / simpleblockchain
  ☆18Updated 7 years ago
• syavorsky / microdi
  Micro helper for JavaScript DI.
  ☆17Updated 8 years ago
• Sherpa-UI / GUI
  VR Website Builder
  ☆18Updated 7 years ago
• LiveQL / LiveQL
  A library for live queries in GraphQL
  ☆71Updated 7 years ago
• nnZTA / DEVision.js
  Track your application's state changes at run-time & export test scripts.
  ☆33Updated 7 years ago
• reactrewind / react-rewind
  Time Travel Debugger for React useReducer
  ☆171Updated 2 years ago
• Predjo / blockchain-ts-2.0
  Simple blockchain made with Node and TypeScript for Zagreb JS meetup
  ☆21Updated 7 years ago
• venogram / ExpressiveJS
  End to end server route tracking for express.js applications
  ☆17Updated 8 years ago
• team-igniter-from-houston-inc / async-fn
  Additional methods for different mocking libraries to introduce "late resolve" of promises returned by the mock functions. This allows te…
  ☆10Updated 2 years ago