anwarmamat / cmsc330spring19-publicLinks
☆14Updated 6 years ago
Alternatives and similar repositories for cmsc330spring19-public
Users that are interested in cmsc330spring19-public are comparing it to the libraries listed below
Sorting:
- Incognito is a Roblox script executor known for its user-friendly interface and support for executing Lua scripts, providing enhanced gam…☆39Updated 2 months ago
- ☆7Updated 2 years ago
- Writeup that goes along with this:☆40Updated 7 years ago
- ☆31Updated 2 years ago
- Here we collect worldwide courses teaching formal methods☆37Updated 5 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, whi…☆14Updated 2 years ago
- Sam's Programming Language☆39Updated last week
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- solver for the reachability modulo theories problem☆60Updated last year
- Programming languages☆38Updated 2 months ago
- Automata and transducer library for .NET☆83Updated 4 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 3 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆130Updated 2 weeks ago
- Symbolica's open-source symbolic execution engine.☆65Updated 9 months ago
- KJS: A Complete Formal Semantics of JavaScript☆88Updated 8 years ago
- The Curly programming language (now in Rust!)☆29Updated 4 years ago
- Study notes for CS 350 (Operating Systems)☆18Updated 8 years ago
- strictly is a declarative programming language for interactive web-components☆10Updated last year
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆279Updated last year
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- ☆9Updated 7 months ago
- ☆18Updated 3 years ago
- ☆27Updated 7 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆165Updated 4 years ago
- Lesma Programming Language - old compiler written in Python. Please go to https://github.com/alinalihassan/Lesma for the current implemen…☆41Updated 3 years ago
- C0rn3LL 4 L337 H4xx0rz☆36Updated 2 years ago
- Grammar synthesis algorithm using a black box oracle☆36Updated last year
- The Gillian Platform main repository☆85Updated this week
- EGraphs in OCaml☆65Updated last year