vector-of-bool / lmno

Related projects ⓘ

Alternatives and complementary repositories for lmno

• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆34Updated 6 months ago
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆115Updated last year
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆26Updated 11 years ago
• BowenFu / hspp
  hspp: An experimental library to bring Haskell Style Programming to C++.
  ☆164Updated 2 years ago
• jfbastien / terminator
  Terminating is exciting
  ☆23Updated 8 years ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆66Updated this week
• IanBriggs / megalibm
  ☆14Updated last year
• hylo-lang / Lotsawa
  A Swift implementation of the MARPA algorithms
  ☆18Updated last week
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆23Updated 9 months ago
• foonathan / lauf
  Bytecode interpreter
  ☆69Updated 7 months ago
• phate / jlm
  ☆51Updated 3 weeks ago
• nadavrot / bistra
  Bistra is a domain-specific language designed to generate high-performance kernels (such as GEMMs, convolutions, etc). The program is des…
  ☆6Updated 8 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆100Updated 2 months ago
• ThePhD / a_c_compiler
  A C compiler. ... That's it.
  ☆41Updated last year
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆111Updated 11 months ago
• stlab / chains
  Experimental alternative to sender/receivers.
  ☆20Updated 8 months ago
• TheNumbat / rpp
  Minimal Rust-inspired C++20 STL replacement
  ☆133Updated this week
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆65Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 3 weeks ago
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆49Updated last year
• lenary / abis
  Big List of ABI Resources
  ☆36Updated 4 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆53Updated this week
• camio / modules-example
  This repository is a very simple C++ modules example.
  ☆23Updated last year
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• hsutter / babb
  bad_alloc Behaving Badly
  ☆73Updated 5 years ago
• vituscze / norri
  ☆9Updated last year
• foonathan / clauf
  A C interpreter developed live on YouTube
  ☆49Updated last year
• microsoft / ifc-spec
  IFC format specification
  ☆72Updated 3 weeks ago