Alternatives and similar repositories for LL1-Academy

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

• OneRaynyDay / oneraynyday.github.io
  ☆8Updated 2 years ago
• anishathalye / rtlv
  Tools for reasoning about circuits in Rosette/Racket 🔌
  ☆19Updated 5 months ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated 11 months ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 7 months ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆132Updated 2 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last month
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆39Updated 3 months ago
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 4 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆51Updated 2 months ago
• verivital / vnn-comp
  ☆12Updated 2 years ago
• caterinaurban / Libra
  ☆25Updated 3 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆40Updated last year
• ImperialCollegeLondon / lean-maths-examples
  Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics
  ☆14Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated 11 months ago
• Prajwal10031999 / Movie-Recommendation-System-Using-Cosine-Similarity
  A machine learning model to recommend movies & tv series
  ☆10Updated 4 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆437Updated this week
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆264Updated last week
• bliutech / SeBRUS
  MIT IEEE URTC 2023. GSET 2023. Repository for "SeBRUS: Mitigating Data Poisoning in Crowdsourced Datasets with Blockchain". Using Ethere…
  ☆10Updated last year
• dasarpmar / lowerbounds-survey
  A survey of known lower bounds in arithmetic circuits.
  ☆31Updated 3 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated 2 years ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆467Updated this week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆254Updated last year
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆39Updated 2 months ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆191Updated this week
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆84Updated last month
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆212Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆19Updated last month