ChezJrk/verified-scheduling external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ChezJrk/verified-scheduling

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ChezJrk/verified-scheduling)

Close

ChezJrk / verified-schedulingView on GitHubMore

• External links
• Readme badge

☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• aqjune / mlir-tv

  View on GitHub
  A translation validation framework for MLIR
  ☆96Mar 19, 2025Updated last year
• bergmannjg / leanCurl

  View on GitHub
  Lean 4 bindings to libcurl
  ☆13Feb 3, 2026Updated last month
• samkaufman / morello

  View on GitHub
  ☆15Mar 15, 2026Updated last week
• ellisk42 / LambdaBeam

  View on GitHub
  ☆13Dec 31, 2023Updated 2 years ago
• webyrd / slpKanren

  View on GitHub
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Feb 3, 2013Updated 13 years ago
• lecopivo / HouLean

  View on GitHub
  Lean 4 as a scripting language in Houdini
  ☆21Mar 13, 2024Updated 2 years ago
• MixedMatched / juniper

  View on GitHub
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆22Jan 15, 2025Updated last year
• mit-frap / spring21

  View on GitHub
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18May 12, 2021Updated 4 years ago
• argumentcomputer / LSpec

  View on GitHub
  A Testing Framework for Lean
  ☆76Mar 6, 2026Updated 2 weeks ago
• iheartla / heartdown

  View on GitHub
  ☆25Sep 14, 2022Updated 3 years ago
• lecopivo / lean4-karray

  View on GitHub
  ☆13Jan 23, 2022Updated 4 years ago
• Thinklab-SJTU / LIG-MM

  View on GitHub
  ☆18Aug 14, 2024Updated last year
• trackoor / AwesomePL

  View on GitHub
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17May 10, 2022Updated 3 years ago
• nimit-singhania / loopy

  View on GitHub
  A system for programming formally-verified loop transformations.
  ☆16Jan 31, 2019Updated 7 years ago
• lsrcz / grisette

  View on GitHub
  A monadic library for symbolic evaluation
  ☆74Jul 16, 2025Updated 8 months ago
• smtcoq / smtcoq

  View on GitHub
  Communication between Coq and SAT/SMT solvers
  ☆165Mar 5, 2026Updated 2 weeks ago
• plum-umd / java-sketch

  View on GitHub
  a Java front-end for Sketch synthesis tool
  ☆20Jan 20, 2025Updated last year
• lazyppl-team / lazyppl

  View on GitHub
  A Haskell probabilistic programming library.
  ☆21Feb 19, 2026Updated last month
• ucrparlay / PASGAL

  View on GitHub
  SPAA'24: PASGAL: Parallel And Scalable Graph Algorithm Library
  ☆11Dec 31, 2025Updated 2 months ago
• JamesGallicchio / LeanColls

  View on GitHub
  WIP collections library for Lean 4
  ☆32May 8, 2025Updated 10 months ago
• kyegomez / AlphaDev

  View on GitHub
  Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…
  ☆11Aug 29, 2023Updated 2 years ago
• Ucombinator / parsing-with-zippers

  View on GitHub
  A clean implementation of Parsing with Zippers.
  ☆38Sep 22, 2018Updated 7 years ago
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• mit-pdos / mcqc

  View on GitHub
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Apr 5, 2021Updated 4 years ago
• matrix-org / remember-this-rs

  View on GitHub
  A simple Rust crate to cache data both in-memory and on disk
  ☆11Dec 26, 2021Updated 4 years ago
• leanprover / KLR

  View on GitHub
  A formalization of ML kernel languages
  ☆45Mar 6, 2026Updated 2 weeks ago
• asolarlez / sketch-frontend

  View on GitHub
  ☆39Jan 24, 2026Updated last month
• ucb-bar / firrtl-transform-tutorial

  View on GitHub
  A template for developing custom FIRRTL transforms
  ☆10Jan 30, 2020Updated 6 years ago
• paulch42 / lean-spec

  View on GitHub
  Program Specification in Lean 4
  ☆22Jan 15, 2024Updated 2 years ago
• ckchengucsd / ILP-SAT-Detailed-Router

  View on GitHub
  ILP SAT Detailed Router
  ☆13Apr 14, 2020Updated 5 years ago
• martintrojer / symbolic-execution

  View on GitHub
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Jun 7, 2013Updated 12 years ago
• axch / integer-sequences

  View on GitHub
  A library for recreational number theory in MIT Scheme.
  ☆11Feb 2, 2013Updated 13 years ago
• shaneikennedy / amp.el

  View on GitHub
  Vibe coding in emacs with amp
  ☆20Jun 15, 2025Updated 9 months ago
• arthuraa / cufp-2015-tutorial

  View on GitHub
  An introductory tutorial for the Coq proof assistant.
  ☆10Feb 5, 2019Updated 7 years ago
• ascend-secure-processor / oram

  View on GitHub
  Hardware implementation of ORAM
  ☆24Jul 12, 2017Updated 8 years ago
• petablox / difflog

  View on GitHub
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Sep 26, 2019Updated 6 years ago
• bollu / lean-to

  View on GitHub
  Jupyter notebook for the Lean4 programming language
  ☆25Apr 25, 2022Updated 3 years ago
• Schol-R-LEA / Assiah

  View on GitHub
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Nov 30, 2018Updated 7 years ago
• PacktPublishing / Soar-with-Haskell

  View on GitHub
  Soar with Haskell, Published by Packt
  ☆14Jan 10, 2024Updated 2 years ago