Alternatives and similar repositories for superc:

Users that are interested in superc are comparing it to the libraries listed below

• goblint / cil
  C Intermediate Language
  ☆147Updated 2 weeks ago
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆30Updated 8 months ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 5 months ago
• Sentido-Labs / cedro
  C programming language extension: Cedro pre-processor
  ☆47Updated last year
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 2 months ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆24Updated 2 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆103Updated 4 months ago
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆28Updated 2 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 3 weeks ago
• jart / jtckdint
  C23 Checked Arithmetic
  ☆117Updated 2 months ago
• liuliu / co
  Example implementation of coroutine in C
  ☆20Updated 4 years ago
• rochus-keller / EbnfStudio
  EbnfStudio can be used to edit and analyze EBNF grammars.
  ☆77Updated 8 months ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated last year
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆52Updated this week
• checkedc / checkedc-llvm-project
  This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…
  ☆14Updated 4 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆73Updated last year
• h2337 / clex
  clex is a simple lexer generator
  ☆93Updated last month
• sgraham / dyibicc
  A small C compiler
  ☆32Updated 9 months ago
• yangdanny97 / chocopy-python-compiler
  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3.
  ☆57Updated 10 months ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆22Updated last month
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• michaeljclark / crefl
  crefl is a runtime library and compiler plug-in to support reflection in C.
  ☆40Updated 5 months ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 8 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆51Updated last week
• phorward / unicc
  LALR parser generator targetting C, C++, Python, JavaScript, JSON and XML
  ☆63Updated 4 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆57Updated last year
• jpe90 / hello-cosmo
  A makefile project to demonstrate building a portable Hello World executable with Cosmopolitan Libc
  ☆14Updated 2 years ago