rmind / nxsearch

Related projects ⓘ

Alternatives and complementary repositories for nxsearch

• zwegner / Miroslav
  A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD
  ☆12Updated 5 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated last month
• hirrolot / assert-algebraic
  Asserting algebraic properties of C functions
  ☆10Updated this week
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago
• hsnlab / annabellaDB
  ☆11Updated 3 years ago
• andrakis / c4-lisp
  Experiments on the self-hosting c4 compiler, with the goal to implement a nicer Lisp-style virtual machine
  ☆15Updated 4 years ago
• droundy / bigbro
  library (and utility) for tracking filesystem changes
  ☆17Updated 3 years ago
• kurocha / concurrent
  ☆13Updated last year
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 4 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆20Updated 3 years ago
• tabokie / coplus
  Parallel programming library in C++11
  ☆12Updated 4 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• stoklund / portable-simd
  Portable SIMD specification
  ☆19Updated 7 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated 9 months ago
• condy0919 / bipolar
  A nano concurrency library
  ☆24Updated 4 years ago
• Taymindis / lfstack
  lock-free LIFO stack by C native built it, easy built cross platform(no extra dependencies needed) , guarantee thread safety memory manag…
  ☆30Updated 6 years ago
• kprotty / zig-adaptive-lock
  Benchmarking a faster std.Mutex implementation for Zig
  ☆29Updated last month
• false-schemers / wcpl
  Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI
  ☆13Updated last year
• espindola / cthulhu
  ☆12Updated last year
• blynn / blt
  Crit-bit tree (trie) library
  ☆32Updated 10 years ago
• shaovoon / floatbench
  String to Float Benchmark
  ☆19Updated 6 years ago
• google-research / automemcpy
  ☆21Updated 2 years ago
• lemire / multiplatform_simd_recipes
  SIMD recipes, for various platforms (collection of code snippets)
  ☆48Updated 3 years ago
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆24Updated 3 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆21Updated last month
• BGR360 / propagate
  Error return tracing in Rust. Still WIP
  ☆11Updated 3 years ago
• zakkak / cilk
  The CIlk programming language from http://supertech.lcs.mit.edu/cilk/
  ☆9Updated 9 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago