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
  ☆146Updated 2 months ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated last month
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 9 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆29Updated last year
• Sentido-Labs / cedro
  C programming language extension: Cedro pre-processor
  ☆49Updated 2 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 10 months ago
• yangdanny97 / chocopy-python-compiler
  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.
  ☆63Updated last year
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆31Updated 3 years ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• irrio / semblance
  My little WebAssembly interpreter
  ☆72Updated last week
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 5 months ago
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆79Updated this week
• rochus-keller / EbnfStudio
  EbnfStudio can be used to edit and analyze EBNF grammars.
  ☆81Updated last year
• Esvandiary / DynASM
  DynASM - a Dynamic Assembler for code generation engines
  ☆28Updated 4 years ago
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆35Updated 4 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• liuliu / co
  Example implementation of coroutine in C
  ☆20Updated 4 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 7 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• naasking / libsum
  Automatically exported from code.google.com/p/libsum
  ☆12Updated 10 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆40Updated 2 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 2 weeks ago
• h2337 / clex
  clex is a simple lexer generator
  ☆95Updated 6 months ago
• badlogic / asmcfg
  An assembly control flow graph/basic block visualizer for the web
  ☆38Updated 2 years ago
• galileolajara / cp1
  Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C
  ☆75Updated 2 months ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated last month