Alternatives and similar repositories for LL1-Academy:

Users that are interested in LL1-Academy are comparing it to the libraries listed below

• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 2 years ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆11Updated this week
• ezyang / pl-class-public
  Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
  ☆36Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆226Updated 6 months ago
• ChezJrk / verified-scheduling
  ☆35Updated 9 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆46Updated 2 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆356Updated this week
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆116Updated 5 months ago
• CSUA / csua-backend
  A backend for the CSUA interblags.
  ☆21Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆12Updated this week
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 2 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆411Updated this week
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆210Updated last week
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 6 months ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆57Updated 10 months ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆87Updated 7 months ago
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆187Updated last week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆156Updated this week
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆46Updated 3 weeks ago
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated this week
• imdea-software / htt
  Hoare Type Theory
  ☆70Updated last week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆78Updated 2 months ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆32Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated last week
• anishathalye / rtlv
  Tools for reasoning about circuits in Rosette/Racket 🔌
  ☆19Updated 5 months ago