Alternatives and similar repositories for networks2tester:

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

• MaximeZmt / SDP_2022-Vibester
  ☆7Updated 2 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆197Updated 11 months ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• louismerlin / repfl
  Find a free room @ EPFL
  ☆29Updated 4 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆93Updated last year
• FFPiHaskell / Vorlesung2016
  Folien und Übungsaufgaben für unsere Vorlesung
  ☆26Updated 8 years ago
• imandra-ai / verified-react
  Automated reasoning for React/ReasonML
  ☆113Updated 2 years ago
• mwillsey / crossbot
  A slackbot to compete on mini crosswords (or any other daily challenge).
  ☆16Updated 2 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆183Updated 7 months ago
• slindley / dependent-haskell
  ☆34Updated 11 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆87Updated 8 years ago
• xldenis / whycode
  ☆19Updated 3 weeks ago
• TrevorEdwards / bigredapp-android
  Informational Android app for Cornell University.
  ☆14Updated 6 years ago
• rommsen / elm-dots-and-boxes
  Multiplayer Dots and Boxes build in Elm. Up to 5 players and spectator mode.
  ☆13Updated 7 years ago
• dimitar-asenov / Envision
  A next-generation IDE that makes programming more efficient
  ☆98Updated 2 years ago
• jamievicary / globular
  Globular
  ☆38Updated 6 years ago
• xavierleroy / cdf-sem-meca
  Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
  ☆21Updated 9 months ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated last year
• sdiehl / tinyjit
  Haskell JIT
  ☆184Updated 5 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 7 months ago
• jozefg / higher-order-unification
  A small implementation of higher-order unification
  ☆185Updated 7 years ago
• nick8325 / quickspec
  Equational laws for free
  ☆251Updated 10 months ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆12Updated this week
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆266Updated last year
• evertedsphere / shorshe
  freshly-fermented, dependently-typed mustard, with a substructural aftertaste
  ☆31Updated 4 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆165Updated last month
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆66Updated 6 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆142Updated 4 years ago