Attribute grammar Based Language Extensions for C
☆43Feb 20, 2026Updated 4 months ago
Alternatives and similar repositories for ableC
Users that are interested in ableC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth☆10Dec 28, 2018Updated 7 years ago
- Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.☆12Jun 14, 2019Updated 7 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Jul 18, 2012Updated 13 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- The CompCert formally-verified C compiler☆11Jun 25, 2026Updated last week
- 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.
- A fork of st implementing scrollback, keyboard selection, and tabs.☆11Jul 23, 2014Updated 11 years ago
- Unicode Character Database (UCD) Tools☆13May 9, 2021Updated 5 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Compcert repository of the Yale FLINT Group☆12Mar 10, 2026Updated 3 months ago
- A library for binary analysis and rewriting☆49Sep 28, 2023Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- A compiler synthesizer for simple languages.☆15Dec 18, 2018Updated 7 years ago
- Easy insertion of unicode math symbols☆11May 24, 2025Updated last year
- 🔍 Like grep, but more powerful than you can possibly imagine☆16Jan 15, 2018Updated 8 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.
- Compiler that has been integrated into Okami now☆24Jul 15, 2022Updated 3 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated 10 months ago
- Software synthesizer and sequencer programming language☆56Jan 23, 2018Updated 8 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 11 years ago
- A toy programming language.☆42Jan 16, 2024Updated 2 years ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Mar 20, 2021Updated 5 years ago
- UTF8 APL interpreter☆26Mar 12, 2017Updated 9 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆47May 29, 2021Updated 5 years ago
- A DFA based UTF-8 decoder☆16Jan 1, 2014Updated 12 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.
- https://www.usenix.org/conference/atc20/presentation/boucher☆27Mar 25, 2022Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆58Jul 20, 2025Updated 11 months ago
- Python library that builds FFI between Python and Euslisp.☆11Mar 14, 2020Updated 6 years ago
- A Notebook Environment for Safe and Efficient Exploration☆14Jul 16, 2023Updated 2 years ago
- The new emerging Non Linear Video Editor for Linux. Backup of Lumiera master repository☆15Updated this week
- EasyCTF IV☆15Oct 27, 2020Updated 5 years ago
- Tiny Object Run Time☆24May 24, 2015Updated 11 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆110Sep 11, 2024Updated last year
- A programming language.☆13Aug 4, 2025Updated 10 months 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.
- Build a custom nixos installation iso from any os with the help of vagrant☆17Jul 29, 2021Updated 4 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- thingy to manage bn requests☆16Jan 5, 2025Updated last year
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 years ago
- Brief language☆20Jul 8, 2024Updated last year
- A MongoDB data browser for the console☆12May 9, 2021Updated 5 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 5 years ago