ls1-sys-prog-course-archive-SoSe22 / docs
Documentation and links about the course
☆25Updated 2 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below
Sorting:
- SMTscope automatically analyses and visualises SMT solver execution traces.☆37Updated last month
- embedding MLIR in LEAN☆47Updated 10 months ago
- Functional Programming in Lean☆78Updated last week
- egraphs-good website☆17Updated 7 months ago
- A programming project on automatic differentiation in OCaml☆12Updated 2 years ago
- Computer Systems Lab☆10Updated 4 months ago
- A toolkit for enforcing logical specifications on neural networks☆93Updated this week
- Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages☆37Updated 3 years ago
- A Rust hashconsing library.☆32Updated 10 months ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- ☆36Updated last month
- ☆39Updated last year
- ☆23Updated 2 years ago
- Portability problems I frequently encounter in projects using CMake☆48Updated 3 years ago
- Nix build Scheduler☆11Updated 2 weeks ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Theorem proving in Lean☆49Updated 6 months ago
- Formally verified implementation of Alive in Lean☆36Updated last year
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆37Updated this week
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A language built atop the Sparse Synchronous Model☆18Updated last year
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- A minimal development of SSA theory☆131Updated this week
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Updated 3 years ago
- Haskell bindings for MLIR☆106Updated 2 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- A verified tensor library in Lean☆23Updated last week
- Cerberus C semantics☆61Updated 2 weeks ago