An LR grammar automata generator (yet to be completed)
☆29Mar 15, 2026Updated 7 months ago
Alternatives and similar repositories for ellerre
Users that are interested in ellerre are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 24, 2026Updated 2 weeks ago
- Wait-Free Eras (PPoPP '20)☆10Jan 11, 2020Updated 6 years ago
- [MIRROR] Kernel config files for Gentoo dist-kernels☆11May 22, 2026Updated 5 months ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Dump PDB Symbols including support for Bochs Debugging Format (with wine support)☆14Aug 11, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Updated this week
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- Repository of experiment for the paper☆10Feb 5, 2024Updated 2 years ago
- Headers for linking your software with ntdll.dll☆15Nov 4, 2020Updated 6 years ago
- This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algor…☆12Jan 10, 2025Updated last year
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 7 years ago
- Repo for PLAN's verified code generation project☆13Aug 2, 2025Updated last year
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Extracting MAC from SIM cards to crack DES OTA key for SIM updates☆14Feb 17, 2014Updated 12 years ago
- Lean formalization of CFSG☆20Oct 28, 2026Updated last week
- Windows 32/64-bit Include files and Import Libraries☆16May 26, 2022Updated 4 years ago
- The trashvisor☆12Oct 25, 2020Updated 6 years ago
- displays processes, modules and memory layout☆17Aug 4, 2020Updated 6 years ago
- Code Integrity Violation Spotter☆17Jun 11, 2024Updated 2 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 8 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Oct 12, 2025Updated last year
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- IDA Pro Plugins☆19May 31, 2015Updated 11 years ago
- Yet another windows syscall library☆18Jun 22, 2020Updated 6 years ago
- HVCI/kCET-aware bugcheck suppressor PoC☆22May 11, 2026Updated 5 months ago
- ☆12Jul 27, 2020Updated 6 years ago
- Web version of the MiniDecaf compiler.☆13Sep 17, 2020Updated 6 years ago
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 5 years ago
- Enumerate Callbacks and all Object Types☆17Jan 9, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple Windows update manager with WUA API and Dear ImGui.☆17Sep 26, 2020Updated 6 years ago
- Inlining functions in IDA HexRays using microcode. Abandoned due to official outline support in IDA v8.0☆16Feb 19, 2023Updated 3 years ago
- Prolog specification of TensorFlow layers☆13Jun 12, 2023Updated 3 years ago
- Source code on the 1.44MB 3.5 floppy accompanying the Windows NT File System Internals book.☆20Jul 31, 2019Updated 7 years ago
- A tool to connect SMT-based frontends to Lean4.☆21Updated this week
- COM runtime support for SharpGen generated interop code.☆13Sep 9, 2021Updated 5 years ago
- Portable & Custmizable Windows Defender☆13Nov 10, 2021Updated 4 years ago