Alternatives and similar repositories for LL1-Academy:

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

• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 2 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆365Updated this week
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆11Updated this week
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆193Updated 4 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• rems-project / cerberus
  Cerberus C semantics
  ☆62Updated this week
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆67Updated this week
• Formal-Systems-Laboratory / ROSRV
  ☆14Updated 3 years ago
• ImperialCollegeLondon / lean-maths-examples
  Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics
  ☆13Updated 3 years ago
• ChezJrk / verified-scheduling
  ☆37Updated 10 months ago
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated last month
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆73Updated 2 weeks ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆106Updated last week
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆212Updated this week
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆58Updated this week
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆12Updated this week
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 4 years ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆15Updated last month
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 7 months ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated last week
• open-source-at-illinois / cherry
  Course selection made easy
  ☆19Updated last year
• rocq-archive / automata
  Beginning of formal language theory
  ☆23Updated 5 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆225Updated 3 months ago
• imdea-software / htt
  Hoare Type Theory
  ☆70Updated last month
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆30Updated 4 years ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆113Updated this week
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆160Updated this week