cucapra / styleguideLinks
rules for writing and typesetting
☆24Updated 3 years ago
Alternatives and similar repositories for styleguide
Users that are interested in styleguide are comparing it to the libraries listed below
Sorting:
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last month
- PC-miner tool for program chairs☆27Updated this week
- ☆88Updated 3 years ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- The LTSmin model checking toolset☆60Updated 9 months ago
- Formal specification and verification of hardware, especially for security and privacy.☆126Updated 3 years ago
- Lem semantic definition language☆144Updated 4 months ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆95Updated last week
- MonoSAT - An SMT solver for Monotonic Theories☆113Updated 4 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated last week
- Homebrew formulae for formal methods☆37Updated last week
- Communication between Coq and SAT/SMT solvers☆160Updated 10 months ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- Verimag Polyhedra Library☆18Updated 3 months ago
- Solver for Constrained Horn Clauses☆42Updated this week
- ☆32Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 4 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- Python bindings for egg☆49Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆77Updated last week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- SMTInterpol interpolating SMT solver☆67Updated last month
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆59Updated 10 years ago
- RISC-V Specification in Coq☆116Updated 3 weeks ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆48Updated 2 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last month
- SMTscope automatically analyses and visualises SMT solver execution traces.☆41Updated 4 months ago
- A standard for floating point accuracy benchmarks☆52Updated 4 months ago
- An awesome list of e-graph resources☆201Updated last month