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
• bliutech / SeBRUS
  MIT IEEE URTC 2023. GSET 2023. Repository for "SeBRUS: Mitigating Data Poisoning in Crowdsourced Datasets with Blockchain". Using Ethere…
  ☆10Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated last year
• google-research / raksha
  ☆36Updated last week
• hotseatio / hotseat.io
  The code for Hotseat!
  ☆17Updated 4 months ago
• saligrama / securescope
  An autograder base Docker image for Gradescope with improved security
  ☆17Updated 2 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆171Updated last month
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated last week
• LeifAndersen / PLGradSchools
  ☆231Updated 8 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆440Updated this week
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆45Updated last month
• facebook / sapp
  Post Processor for Facebook Static Analysis Tools.
  ☆140Updated this week
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated this week
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆216Updated 2 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 2 weeks ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆123Updated 2 weeks 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
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆11Updated this week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆425Updated last week
• correctcomputation / checkedc-clang
  This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, whi…
  ☆14Updated 2 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆297Updated last year
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆248Updated last week
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆188Updated last year
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆40Updated 4 months ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆304Updated 2 weeks ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆35Updated last month
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆288Updated 3 weeks ago