JM4ier / parsley
EBNF parsing toolset
☆10Updated last year
Alternatives and similar repositories for parsley:
Users that are interested in parsley are comparing it to the libraries listed below
- Code for forum to review courses at ETH☆18Updated 2 months ago
- Browser extension to enable vim mode in the embedded IDE used in Code Expert.☆14Updated last year
- CA☆20Updated 2 years ago
- Webring for current and past members of ETH Zurich 🎓☆14Updated this week
- Browser extension for VVZ (ETHZ)☆10Updated 2 months ago
- All my Anki cards for the Computer Science BSc @ ETH Zurich☆12Updated 3 months ago
- Fetches files from ethz websites☆18Updated 6 months ago
- CTF writeups☆42Updated 2 years ago
- Rust bindings for the Z3 solver.☆379Updated 2 months ago
- Program analysis playground for a simple, imperative language☆36Updated 2 years ago
- ☆70Updated last year
- Symbolic execution of LLVM IR with an engine written in Rust☆545Updated last year
- Browser extension to automatically register in TISS☆35Updated 5 months ago
- Rust bindings and utilities for LLVM’s libFuzzer☆225Updated last month
- TISS Quick Registration Script☆129Updated last year
- eth & uzh mensas in zurich☆29Updated last week
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆271Updated 3 years ago
- Rust programming, in Swissgerman☆160Updated 6 months ago
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- CodeDraw is a beginner-friendly drawing library which can be used to create pictures, animations and even interactive applications.☆20Updated 3 months ago
- language-agnostic program reducer.☆174Updated this week
- A web application that checks code against a range of user submitted tests.☆33Updated 11 months ago
- Library to analyze and collect metrics on source code☆306Updated 3 months ago
- Pair your compilers up at The ABI Cafe!☆240Updated 7 months ago
- my music queue, simple and shared music system.☆11Updated 8 years ago
- ☆123Updated this week
- Bottom-up memory-safety for assembly language using symbolic execution☆13Updated 3 months ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆146Updated last week
- Automation for the rev/pwn experience in GDB☆13Updated last year
- Insecure reference example for the 2022 Collegiate eCTF☆13Updated 2 years ago