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
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆48Updated last month
• LeifAndersen / PLGradSchools
  ☆229Updated 8 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆289Updated last week
• nimaanari / theory.report
  Theory of Computing Report
  ☆12Updated 6 months ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆63Updated last week
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated this week
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆574Updated 3 weeks ago
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆59Updated last year
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• bliutech / SeBRUS
  MIT IEEE URTC 2023. GSET 2023. Repository for "SeBRUS: Mitigating Data Poisoning in Crowdsourced Datasets with Blockchain". Using Ethere…
  ☆10Updated last year
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆48Updated 2 weeks ago
• hotseatio / hotseat.io
  The code for Hotseat!
  ☆17Updated 3 months ago
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆375Updated last week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆422Updated last week
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆11Updated 3 weeks ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆216Updated 2 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated last week
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated 2 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated last week
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated this week
• google / mlir-hs
  Haskell bindings for MLIR
  ☆106Updated last month
• Boolector / boolector
  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
  ☆342Updated 7 months ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆167Updated 2 weeks ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆43Updated 3 months ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆214Updated this week