H-Huang / LL1-AcademyLinks
LL1 by Team , made with
☆11Updated 2 years ago
Alternatives and similar repositories for LL1-Academy
Users that are interested in LL1-Academy are comparing it to the libraries listed below
Sorting:
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- Next-generation JavaScript analysis tooling☆51Updated this week
- 👋 get to know me through my personal website!☆10Updated this week
- An autograder base Docker image for Gradescope with improved security☆19Updated 2 years ago
- Race Condition Running☆11Updated last week
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆416Updated 8 months ago
- Visual Studio Code extension for Coq☆399Updated last week
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆604Updated 2 months ago
- 🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!☆23Updated 9 months ago
- hackschool (fall 2020)☆21Updated 4 years ago
- The Vellvm (Verified LLVM) coq development.☆440Updated this week
- A LaTeX Typesetting Game☆256Updated 4 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆270Updated this week
- Online demo without installing at - https://buildit.so/tryit☆178Updated last month
- NUS Hackers website☆46Updated last week
- a look into matt wang's intriguing monetary ventures☆10Updated 3 years ago
- CS assignment / grade mangement system☆43Updated 8 months ago
- A tool for analyzing and transforming context-free grammars.☆224Updated 3 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆281Updated last week
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆219Updated 2 years ago
- Verifying the optimization phases of the GraalVM compiler☆13Updated 6 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆523Updated 2 months ago
- Tutorials and courses for Z3☆86Updated 2 weeks ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- 🐀 Regular Expression Denial of Service analyzer.☆25Updated last year
- Unofficial Client for Piazza's Internal API☆196Updated 2 weeks ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆55Updated 2 weeks ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆352Updated 11 months ago
- ☆322Updated 4 months ago
- Yet Another Random Program Generator☆524Updated last week