MartinErhardt / RoaringRegex

Related projects ⓘ

Alternatives and complementary repositories for RoaringRegex

• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated last month
• zwegner / Miroslav
  A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD
  ☆12Updated 5 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆12Updated 6 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆54Updated last year
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 2 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last month
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆13Updated last year
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated 9 months ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆44Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 3 weeks ago
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆23Updated this week
• fefa4ka / linked_ring
  It's just in place replacement for ring buffer, but without taking up all that extra space for multiply buffers used by different produce…
  ☆15Updated last year
• lemire / multiplatform_simd_recipes
  SIMD recipes, for various platforms (collection of code snippets)
  ☆48Updated 3 years ago
• mark-sed / ebe
  Edit by Example - automated file editing just from given examples.
  ☆15Updated 2 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 8 months ago
• NeuralCoder3 / transpilation
  A summary of ideas about transpilation -- work in progress
  ☆17Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• google / zuckerli
  ☆27Updated 2 years ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆28Updated 4 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 4 months ago
• compiler-explorer / misc-builder
  ☆10Updated last month
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆23Updated 5 months ago
• Netflix-Skunkworks / spectatord
  A high performance metrics daemon
  ☆24Updated this week
• google-research / automemcpy
  ☆21Updated 2 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆22Updated 2 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆15Updated last year
• espindola / cthulhu
  ☆12Updated last year
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated 3 weeks ago
• haraldh / dynqueue
  dynamically extendable Rayon parallel iterator
  ☆9Updated 4 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago