ls1-sys-prog-course-archive-SoSe22 / docsLinks
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 2 months ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- embedding MLIR in LEAN☆47Updated 11 months ago
- A programming project on automatic differentiation in OCaml☆12Updated 2 years ago
- ☆40Updated last year
- MimIR is my Intermediate Representation☆68Updated last week
- Formally verified implementation of Alive in Lean☆36Updated last year
- Functional Programming in Lean☆84Updated this week
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated this week
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆38Updated this week
- Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages☆37Updated 3 years ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- Geometry types☆30Updated 4 years ago
- A language built atop the Sparse Synchronous Model☆18Updated last year
- A toolkit for enforcing logical specifications on neural networks☆97Updated this week
- Easy SMT solver interaction☆35Updated 2 months ago
- Computer Systems Lab☆10Updated 4 months ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- A compiler for functional programs on serialized data☆164Updated this week
- Neural networks using parametric prelenses and Trimbara modules☆33Updated last year
- Coq library for verified low-level programming☆59Updated 7 years ago
- A minimal development of SSA theory☆140Updated this week
- Effect handlers in C++☆120Updated last year
- Personal research notes☆16Updated 7 months 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
- Haskell bindings for MLIR☆107Updated 3 months ago
- Tracing-based reverse mode automatic differentiation (like autograd!)☆19Updated 4 months ago
- ☆11Updated last year
- Neovim client for coq-lsp☆26Updated 7 months ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆378Updated 2 months ago