☆44Oct 27, 2025Updated 4 months ago
Alternatives and similar repositories for verified-scheduling
Users that are interested in verified-scheduling are comparing it to the libraries listed below
Sorting:
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- ☆13Dec 31, 2023Updated 2 years ago
- Lean 4 bindings to libcurl☆13Feb 3, 2026Updated last month
- ☆15Feb 21, 2026Updated last week
- A date and time library for Lean 4☆14Apr 12, 2025Updated 10 months ago
- A translation validation framework for MLIR☆94Mar 19, 2025Updated 11 months ago
- ILP SAT Detailed Router☆13Apr 14, 2020Updated 5 years ago
- ☆42May 29, 2025Updated 9 months ago
- ☆15Feb 28, 2022Updated 4 years ago
- Julia package for learning cellular sheaf Laplacians☆16Apr 21, 2021Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- Optimal approximate sampling from discrete probability distributions☆18Mar 9, 2021Updated 4 years ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆22Jan 15, 2025Updated last year
- ☆22Mar 1, 2022Updated 4 years ago
- vertical + gpu + free join + datalog☆21Feb 12, 2025Updated last year
- Designs for Process-Voltage-Temperature (PVT) Sensors with MCU☆24May 8, 2020Updated 5 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18May 12, 2021Updated 4 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- Rosa, the real compiler☆21Jan 31, 2018Updated 8 years ago
- a Java front-end for Sketch synthesis tool☆20Jan 20, 2025Updated last year
- A Haskell probabilistic programming library.☆21Feb 19, 2026Updated last week
- AXI MIPI CSI2 RX FPGA core and kernel driver☆19Jul 4, 2015Updated 10 years ago
- A verified tensor library in Lean☆36Oct 9, 2025Updated 4 months ago
- Hardware implementation of ORAM☆24Jul 12, 2017Updated 8 years ago
- A Testing Framework for Lean☆75Updated this week
- OpenPiton Design Benchmark☆28Mar 6, 2023Updated 2 years ago
- ☆33Updated this week
- Object-Oriented Programming☆12Aug 26, 2021Updated 4 years ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆31Nov 17, 2025Updated 3 months ago
- ☆30Oct 16, 2022Updated 3 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Feb 28, 2022Updated 4 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Feb 23, 2026Updated last week
- ☆30Nov 30, 2022Updated 3 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Nov 13, 2023Updated 2 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Nov 2, 2021Updated 4 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Jul 25, 2024Updated last year
- SampCert : Verified Differential Privacy☆91May 1, 2025Updated 10 months ago
- Re-implementation of the TASO compiler using equality saturation☆138Jun 28, 2021Updated 4 years ago