cucapra / styleguide
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
- PC-miner tool for program chairs☆26Updated last week
- ☆14Updated 4 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 11 months ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 3 months ago
- ☆88Updated 2 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- MonoSAT - An SMT solver for Monotonic Theories☆111Updated last week
- Pono: A flexible and extensible SMT-based model checker☆94Updated this week
- Formal specification and verification of hardware, especially for security and privacy.☆124Updated 2 years ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- Homebrew formulae for formal methods☆37Updated 6 months ago
- A verified polyhedral scheduling validator in Coq.☆20Updated 5 months ago
- Libraries useful for Dafny programs☆43Updated last week
- ☆54Updated last month
- This repo contains the artifact for our SOSP'19 paper on Serval☆29Updated 5 years ago
- ☆27Updated 10 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- ☆16Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated this week
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- ☆13Updated 3 months ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- Main repository for Harvard CS260r 2017.☆9Updated 7 years ago
- A minimal development of SSA theory☆112Updated this week
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated last month
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- Tools for interacting with Boogie☆47Updated 2 weeks ago