nurturenature / jepsen-tigerbeetle

Related projects ⓘ

Alternatives and complementary repositories for jepsen-tigerbeetle

• jwhear / roaring-zig
  Zig bindings for the excellent CRoaring library
  ☆29Updated 2 months ago
• EugenHotaj / zig_gpt2
  GPT-2 inference engine written in Zig
  ☆31Updated last year
• booniepepper / zig-data-structures
  ☆14Updated last year
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆31Updated 3 weeks ago
• dont-rely-on-nulls / zerl
  A Zig library to idiomatically communicate with other BEAM nodes
  ☆24Updated 2 weeks ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆64Updated last year
• mattnite / zig-zlib
  compile zlib in your build.zig
  ☆21Updated 7 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• AbstractMachinesLab / tree-sitter-sexp
  Tree sitter grammar for S-expressions
  ☆23Updated 3 years ago
• Afirium / wasmer-zig-api
  Zig bindings for the Wasmer WebAssembly runtime
  ☆16Updated this week
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated last year
• ordovician / Zacktron-33
  Assembler and disassembler for the imaginary Calcutron-33 CPU implemented in Zig
  ☆22Updated 2 years ago
• alichraghi / zstd.zig
  Zig binding of Z Standard
  ☆25Updated last year
• clickingbuttons / arrow-zig
  Apache Arrow implementation
  ☆41Updated 9 months ago
• triblespace / tribles-rust
  ☆11Updated this week
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆52Updated last year
• kimmolinna / duckdb-zig-build
  DuckDB is an in-process SQL OLAP Database Management System
  ☆13Updated 3 weeks ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆76Updated 4 years ago
• tigerbeetle / hackathon-2023
  TigerBeetle Hackathon at Interledger Summit 2023
  ☆13Updated last year
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• hexops / zorex
  Zorex: the omnipotent regex engine
  ☆65Updated 2 years ago
• yrashk / zig-rcsp
  Reference-counted Shared Pointer for Zig
  ☆28Updated last year
• kprotty / pzero
  A collection of tools for building concurrent systems
  ☆30Updated last year
• travisstaloch / art.zig
  An Adaptive Radix Tree ported from c
  ☆47Updated last year
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆42Updated 2 years ago
• nevgeniev / zig-maven-plugin
  zig language maven plugin
  ☆13Updated 3 years ago
• pyrmont / persimmon
  Persistent immutable data structures for Janet
  ☆11Updated 3 years ago
• mitchellh / zig-graph
  Directed graph data structure for Zig
  ☆91Updated 2 years ago