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 3 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆62Updated last week
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated 3 months ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated 2 years ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated this week
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 4 years ago
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆39Updated last month
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆46Updated 3 months ago
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆259Updated this week
• anishathalye / rtlv
  Tools for reasoning about circuits in Rosette/Racket 🔌
  ☆19Updated 4 months ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆92Updated 3 weeks ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated this week
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated last week
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆86Updated 3 weeks ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated last year
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆174Updated this week
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆64Updated last month
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆382Updated 3 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆391Updated 2 weeks ago
• ChezJrk / verified-scheduling
  ☆40Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 2 months ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆107Updated this week
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆76Updated 2 weeks ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆147Updated last year
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆435Updated this week