The SuperC Parsing Framework
☆37May 21, 2025Updated last year
Alternatives and similar repositories for superc
Users that are interested in superc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Public domain strftime and date implementation.☆14Dec 26, 2023Updated 2 years ago
- POsix SERvices framework for C☆19Oct 8, 2025Updated 8 months ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Mar 11, 2026Updated 2 months ago
- Automatically exported from code.google.com/p/libsum☆12Mar 19, 2015Updated 11 years ago
- A micro C compiler for x86-64☆26May 30, 2026Updated last week
- 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.
- WIP Java decompiler☆24Dec 3, 2025Updated 6 months ago
- The repo of "BugLens"☆41Nov 12, 2025Updated 6 months ago
- cinspector - a static C source code analysis framework☆29Jun 20, 2024Updated last year
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26May 5, 2026Updated last month
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆27Mar 25, 2022Updated 4 years ago
- Yet another simple header only arena allocator for C11☆43Jul 5, 2024Updated last year
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆26Sep 2, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A type-safe C successor that compiles directly to various platforms.☆139May 2, 2025Updated last year
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Modular decomposition of directed graphs☆13Apr 2, 2025Updated last year
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 6 years ago
- Incremental View Maintenance support for DuckDB☆18Oct 24, 2023Updated 2 years ago
- Follower of EXT:bib to show publications in TYPO3. Im- and export of bibtext and xml files.☆11Mar 18, 2026Updated 2 months ago
- Detect and remove unused dependencies for Python projects☆18Apr 5, 2025Updated last year
- C library to print nicely formatted tables☆34Jun 3, 2026Updated last week
- ☆17May 26, 2026Updated 2 weeks 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.
- Feature-Oriented and Distributed Version Control System☆19Feb 24, 2026Updated 3 months ago
- The fastest way to install llama.cpp☆26Jun 2, 2026Updated last week
- ☆12Jan 8, 2016Updated 10 years ago
- ☆14Jun 10, 2025Updated last year
- CS316 "Functional Programming" lecture notes☆22Jan 29, 2026Updated 4 months ago
- A mock HTTP server for angular2 that runs in the browser. Front-end dev when the backend is missing.☆15Feb 7, 2018Updated 8 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- [AAAI 2024] DataElixir: Purifying Poisoned Dataset to Mitigate Backdoor Attacks via Diffusion Models☆12Dec 5, 2024Updated last year
- A proof-of-concept implementation of hierarchical category management system in SQLite with abstract interface.☆16Feb 5, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆39Nov 26, 2024Updated last year
- Integrating neurosymbolic representations into LLMs for interpretability, steering, and running symbolic algorithms☆14Feb 2, 2026Updated 4 months ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated last year
- Weakly referenced event subscribers. Keep your .NET events lean and memory-safe.☆26Mar 3, 2026Updated 3 months ago
- The historical, initial implementation of an ooc compiler in Java☆116Feb 6, 2013Updated 13 years ago
- CarpetFuzz's fuzzer component. Belongs to CarpetFuzz main repo.☆15Jun 29, 2024Updated last year
- A collection of classic data structures and algorithms implemented in Dart☆13Sep 4, 2023Updated 2 years ago