HexFlow / tipsyLinks
Provide tips and corrections for C programs
☆14Updated 6 years ago
Alternatives and similar repositories for tipsy
Users that are interested in tipsy are comparing it to the libraries listed below
Sorting:
- A Kubernetes based, extremely easy to deploy programming judge.☆9Updated 8 years ago
- Linear Dependent Types for Differential Privacy TypeChecker☆32Updated 5 years ago
- 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 8 years ago
- Tools for interacting with Boogie☆47Updated 2 months ago
- Beginning of formal language theory☆23Updated 5 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- The Spire Programming Language☆59Updated 10 years ago
- A strongly typed language for the web!☆40Updated 9 years ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- A cryptographically secure couple matching platform with strong guarantees☆76Updated 2 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Higher-order optimization library☆74Updated last year
- Jekyll-based repository for the Programming Club website☆30Updated last year
- Formalization of termination of Gödel's System T☆9Updated 4 years ago
- Supporting tool for Gradual Typing☆16Updated 5 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Syntax Highlighting based on LibClang Tokens for Emacs☆15Updated 5 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- The Ynot Project source code.☆22Updated 11 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- A proof assistant.☆12Updated 9 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago
- A Web Browser with a Formally Verified Kernel☆24Updated 11 years ago
- A compiler for Coq☆26Updated 12 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆70Updated last month