HexFlow / tipsy

Related projects ⓘ

Alternatives and complementary repositories for tipsy

• pallavagarwal07 / YourHonour
  A Kubernetes based, extremely easy to deploy programming judge.
  ☆9Updated 7 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆39Updated 3 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆73Updated last year
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆46Updated 10 months ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 6 years ago
• pclubiitk / pclub.in
  Jekyll-based repository for the Programming Club website
  ☆32Updated 11 months ago
• pclubiitk / puppy-love
  A cryptographically secure couple matching platform with strong guarantees
  ☆74Updated last year
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 6 years ago
• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 4 years ago
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆43Updated 11 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆147Updated this week
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• orlp / pyth5
  Clean-sheet rewrite of Pyth.
  ☆13Updated 9 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆219Updated last year
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• noschinl / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆29Updated 2 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• ejgallego / dfuzz
  Linear Dependent Types for Differential Privacy TypeChecker
  ☆31Updated 4 years ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆35Updated last year
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆225Updated 3 years ago
• robbertkrebbers / ch2o
  ☆87Updated 2 years ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆34Updated 7 months ago
• pascalh / Astview
  Astview is a graphical viewer for abstract syntax trees
  ☆24Updated 2 years ago
• ankitsultana / templates
  Link to C++ Code Templates I **used** to use for Competitive Programming | Though most of these have been used, I don't provide any guara…
  ☆10Updated 7 years ago