Alternatives and similar repositories for clowdr

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

• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• exsitu-projects / lorgnette
  👓 Lorgnette is a framework to create code editors with malleable projections of pieces of code.
  ☆17Updated last year
• awslabs / typecart
  ☆22Updated 6 months ago
• MikaelMayer / Editor
  Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
  ☆20Updated last year
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• DistributedClocks / tsviz
  Tool to visualize executions of multi-threaded systems
  ☆14Updated 5 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated last month
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 8 months ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆103Updated last week
• hephaestus-pl / coqfj
  A mechanized proof of type safety for Featherweight Java using Coq
  ☆16Updated 6 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆172Updated 6 months ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆90Updated 3 weeks ago
• jin / subtyping
  An implementation of structural subtyping of records and functions
  ☆13Updated 6 years ago
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆18Updated 8 months ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• rocq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆131Updated 6 months ago
• rocq-community / metaprogramming-rosetta-stone
  A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…
  ☆17Updated last year
• vafeiadis / hahn
  Hahn: A Coq library
  ☆30Updated last year
• JetBrains / ot-coq
  ot-coq
  ☆17Updated last year
• arthuraa / deriving
  Class instances for Coq inductive types with little boilerplate
  ☆24Updated 2 months ago
• INRIA / velus
  A Lustre compiler in Coq
  ☆70Updated 2 weeks ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated last year
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆71Updated 2 weeks ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated last month
• rocq-community / coq-plugin-template
  Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
  ☆22Updated last year
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated 3 months ago
• hopv / r_type
  A model-checker for caml programs.
  ☆13Updated 4 years ago