Software Foundations
☆151Apr 30, 2024Updated last year
Alternatives and similar repositories for sf-lectures
Users that are interested in sf-lectures are comparing it to the libraries listed below
Sorting:
- Solutions to OCaml Programming☆94Jan 5, 2026Updated 2 months ago
- Modeling and Proving in Computational Type Theory☆120Aug 6, 2025Updated 7 months ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆376Nov 5, 2025Updated 4 months ago
- Coq library for reasoning about quantum programs☆40Oct 9, 2025Updated 4 months ago
- Probabilistic inference using contraction of tensor networks☆25Sep 9, 2025Updated 5 months ago
- ☆12Feb 9, 2026Updated 3 weeks ago
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.☆12Feb 25, 2026Updated last week
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Sample codes for the PEPS excitation using generating function☆12Feb 16, 2026Updated 2 weeks ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years ago
- A high-performance, thread-safe HashMap and LRU cache for Rust with fine-grained per-key locking.☆10Updated this week
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- The HOL Light theorem prover☆508Feb 28, 2026Updated last week
- ☆27Feb 11, 2026Updated 3 weeks ago
- The fastest Tropical number matrix multiplication on GPU☆10Aug 23, 2025Updated 6 months ago
- ☆13Jul 24, 2021Updated 4 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Coding every Saturday 5PM-8PM at Maker Space, HKUST (GZ)☆14Mar 1, 2024Updated 2 years ago
- ☆13Mar 27, 2024Updated last year
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- Coq course at Chalmers CSE☆39Jul 3, 2017Updated 8 years ago
- Mathematical Components☆668Updated this week
- The current implementation of `LinearAlgebra.eigen` does not support sensitivities. DifferentiableEigen.jl offers an `eigen` function tha…☆35Sep 15, 2025Updated 5 months ago
- Mathematical Components compliant Analysis Library☆238Updated this week
- Formal Reasoning About Programs☆725Dec 7, 2025Updated 2 months ago
- Multi platform setup for Coq, Coq libraries and tools☆227Feb 24, 2026Updated last week
- Visual Studio Code extension for Coq☆438Feb 24, 2026Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆209Feb 10, 2026Updated 3 weeks ago
- Automated discovery of optimal branching rules for the branch-and-bound algorithm☆18Dec 15, 2025Updated 2 months ago
- Reduction between computational hard problems.☆13Nov 24, 2025Updated 3 months ago
- A collection of code related to the HANSEI language☆10Jun 14, 2016Updated 9 years ago
- ☆72Sep 4, 2025Updated 6 months ago
- Jupyter kernel for Coq☆95Sep 3, 2024Updated last year
- Compiler Backend for LSTS (Typed Macro Assembler)☆36Updated this week
- The SMoL (Standard Model of Languages) Family of Languages☆21Jan 2, 2025Updated last year
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago