compiling & parsing
☆13Sep 18, 2016Updated 10 years ago
Alternatives and similar repositories for CompilerFront
Users that are interested in CompilerFront are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- ☆13Oct 10, 2018Updated 8 years ago
- Generates strings that match a regular expression☆12Jun 23, 2026Updated 4 months ago
- Ich möchte eine Maschine, die schreiben kann, wie ich kann☆18Oct 29, 2026Updated last week
- 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.
- Research on the method of Tennis ball tacking and judging according to the tennis rules☆16Apr 29, 2017Updated 9 years ago
- The official implementation of InterBERT☆11Oct 18, 2022Updated 4 years ago
- Chinese(zh) sentence NSW(Non-Standard-Word) Normalization☆12Apr 10, 2025Updated last year
- peda like debugger script for windbg/windbgx and mingw-gdb☆11Dec 31, 2021Updated 4 years ago
- Configurable inference harness for long-horizon agentic search: 6 agent families, 5 context-management strategies, page memory, 3 multi-a…☆11May 27, 2026Updated 5 months ago
- Released code from BSidesSF CTF 2023☆18Aug 8, 2023Updated 3 years ago
- 一个仍处于研究中的比 Java、C# 虚拟机更快的虚拟机 (虚拟 CPU)。☆16Dec 25, 2024Updated last year
- Benchmarking of several of the best C++ Hashmap libraries both domestically and internationally, including well-known hashmap such as Goo…☆10Mar 15, 2025Updated last year
- ☆11Feb 9, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Taichi programming language☆13Oct 27, 2022Updated 4 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 8 years ago
- ☆10May 23, 2023Updated 3 years ago
- ☆11Sep 7, 2023Updated 3 years ago
- taichi hackathon repo.☆18Dec 15, 2022Updated 3 years ago
- ☆13Oct 23, 2026Updated 2 weeks ago
- The Ultimate File Upload Bypass Generator☆14Nov 24, 2025Updated 11 months ago
- Collection of useful Ghidra utilities and references☆15Apr 9, 2024Updated 2 years ago
- ☆11Mar 9, 2016Updated 10 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.
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆19Oct 5, 2021Updated 5 years ago
- ☆13Sep 26, 2014Updated 12 years ago
- ☆14Jun 23, 2026Updated 4 months ago
- To record anything anywhere.☆13May 6, 2026Updated 6 months ago
- Official repository for Trustworthy Alignment of Retrieval-Augmented Large Language Models via Reinforcement Learning☆12Sep 2, 2024Updated 2 years ago
- Repository for the listwise reranker Rank-K☆16May 23, 2025Updated last year
- C#/Rust/Python style formatting in C++.☆11Oct 23, 2018Updated 8 years ago
- ComfyUI workflow for MiniMax-H3-Turbo☆16Oct 23, 2026Updated 2 weeks ago
- Use Jev (TypeSafe's System One model) as a calibrated reranker: one call, up to 30 documents, a probability per document. Apache-2.0.☆19Sep 17, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Oct 10, 2021Updated 5 years ago
- Person-Person Cube is a knowledge graph for personal relations.☆26Sep 22, 2026Updated last month
- ☆10May 18, 2021Updated 5 years ago
- An automated ROP generation work☆12Mar 5, 2025Updated last year
- the cardboard keyboard☆36Sep 7, 2026Updated 2 months ago
- A Qt player that pull H264 stream from USB camera using for low-spec machines. 适用于低配机器，从USB摄像头拉H264流的Qt播放器。☆14Dec 31, 2022Updated 3 years ago
- ☆15Sep 3, 2026Updated 2 months ago