The SuperC Parsing Framework
☆38May 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:
- A collection of analysis tools for Kconfig and Kbuild constraints.☆69Jan 30, 2026Updated 5 months ago
- Type checking ifdef variability☆80Sep 7, 2021Updated 4 years ago
- Public domain strftime and date implementation.☆14Dec 26, 2023Updated 2 years 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 3 months ago
- Automatically exported from code.google.com/p/libsum☆12Mar 19, 2015Updated 11 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.
- Using CVE-2013-6282 to bypass Samsung kernel module authentication☆13Dec 21, 2013Updated 12 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 6 months ago
- DuckDB is an in-process SQL OLAP Database Management System☆15Jun 7, 2026Updated 3 weeks ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- The repo of "BugLens"☆42Nov 12, 2025Updated 7 months ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Mar 23, 2025Updated last year
- ☆11Aug 29, 2024Updated last year
- Uses a genetic algorithm to "evolve" brainfuck programs with desirable behaviours☆12May 13, 2026Updated last month
- A DFA based UTF-8 decoder☆16Jan 1, 2014Updated 12 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.
- 100% POSIX and glibc compatible globbing library for C, Zig, and Rust that is faster and supports all the modern globbing formats and git…☆178Updated this week
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- CVE-2013-6282 exploit☆27Nov 18, 2013Updated 12 years ago
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- .NET AOT compiler for retro computers☆15Jun 19, 2026Updated last week
- 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
- A music composer and player with MATLAB☆11Mar 14, 2020Updated 6 years ago
- 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
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆45Apr 2, 2020Updated 6 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.
- Mutable strings in Golang via overlays (out-of-place implementation)☆14Apr 13, 2023Updated 3 years ago
- Source code for the paper "Lipschitz Pruning: Hierarchical Simplification of Primitive-Based SDFs"☆23Apr 8, 2026Updated 2 months ago
- ☆39Feb 4, 2026Updated 4 months ago
- C library to print nicely formatted tables☆34Jun 3, 2026Updated 3 weeks ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- bootstrap for an electron+three+preact app with (almost) no transpiling☆19Jan 23, 2020Updated 6 years ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Sep 29, 2019Updated 6 years ago
- An (in progress) implementation of a CTS → rule 110 compiler☆11Aug 14, 2020Updated 5 years ago
- ☆12Jan 8, 2016Updated 10 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.
- C port of Google's high-performance SwissTable hashmap.☆21Mar 16, 2022Updated 4 years ago
- ☆14Jun 10, 2025Updated last year
- k for BareMetal☆13Dec 10, 2024Updated last year
- A better, faster autoconf replacement☆97May 6, 2026Updated last month
- 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
- A C library to read standard MIDI files.☆23Mar 15, 2019Updated 7 years ago
- Code and results for our paper "Analyzing Vectorized Hash Tables Across CPU Architectures" @ VLDB '23.☆31Feb 2, 2024Updated 2 years ago