sriram0339 / csci3155_notebooks
☆30Updated last year
Alternatives and similar repositories for csci3155_notebooks:
Users that are interested in csci3155_notebooks are comparing it to the libraries listed below
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated last year
- C++ Book Companion Repository (With Code Examples and Exercises)☆117Updated 6 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 2 years ago
- Deductive verification infrastructure for probabilistic programs☆16Updated 2 weeks ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- Geometry types☆29Updated 4 years ago
- CMU 15-745 Spring 2014☆10Updated 11 years ago
- Program Synthesis☆13Updated 3 years ago
- The Open Problems Project☆26Updated 3 months ago
- Program synthesis class taught by Loris D'Antoni☆28Updated 3 months ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆18Updated 6 years ago
- A compiler from TIP to llvm bitcode☆68Updated 4 months ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Updated 4 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- ☆14Updated 9 months ago
- Public-facing course info for program analysis materials.☆40Updated 3 months ago
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 weeks ago
- A regular expression to SMT-LIB constraint translator☆11Updated 6 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆40Updated last year
- Static Analysis Framework for Modular Analyses☆12Updated 3 weeks ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆17Updated 4 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Main distribution of Petablox☆35Updated 7 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆84Updated 3 years ago