Alternatives and similar repositories for lltz

Users that are interested in lltz are comparing it to the libraries listed below

• apllodb / apllodb
  A RDBMS with Immutable Schema feature
  ☆34Updated 3 years ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated last month
• ponyo877 / go-wasm-p2p-chat
  ⚗️ P2P chat using WebRTC P2P DataChannel in Go WebAssembly ⚗️
  ☆16Updated last year
• ahalbert / ted
  A tool for editing files according to the rules of a provided Turing Machine
  ☆30Updated 2 months ago
• loopholelabs / latensee
  A Valkey/Redis latency visualization tool
  ☆11Updated last week
• muratdem / MDBTLA
  High level model for MongoDB consistency
  ☆13Updated 2 weeks ago
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated last year
• TheDhejavu / gossipod
  Asynchronous Scalable Weakly-consistent Infection-style Process Group Membership Protocol(SWIM) implementation written in Rust.
  ☆22Updated 6 months ago
• profullstack / sans
  Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.
  ☆16Updated 3 months ago
• trishume / twitterperf
  Prototyping the performance of various components of a theoretical faster Twitter
  ☆66Updated 2 years ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆36Updated 10 months ago
• orbstack / pidfd-rs
  Fast, polling-free approach to kill and wait for all processes to exit. Rust + Tokio, pidfd + epoll + timer
  ☆22Updated 2 years ago
• open-quantum-safe / profiling
  [DEPRECATED — See notice in README.md] Network-level performance testing of post-quantum cryptography using the OQS suite
  ☆11Updated last month
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆18Updated 2 years ago
• fujita / rust-nvme
  ☆15Updated 2 years ago
• tommasocerruti / rowlang
  RowLang is a minimalistic esoteric programming language written as an analogy to rowing.
  ☆20Updated last year
• UnrealVerseGuru / VC_VerseCalculus
  VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epi…
  ☆10Updated 2 years ago
• mrsuh / sqlite-index
  ☆11Updated 8 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 10 months ago
• BloopAI / llm
  An ecosystem of Rust libraries for working with large language models
  ☆11Updated last year
• daikimiura / rocker
  Rocker is a minimal docker implementation for educational purposes.
  ☆19Updated 4 years ago
• Noeda / mmapurl
  Memory map objects in S3
  ☆21Updated 6 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 8 years ago
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆33Updated 11 months ago
• tamaroning / wanco
  WebAssembly AOT compiler with cross-CPU checkpoint/restore support
  ☆17Updated 3 weeks ago
• paulmooreparks / Xfer
  A new data-transfer language that has stricter typing yet more flexible syntax.
  ☆18Updated 2 weeks ago
• hkmatsumoto / tachyon
  A Rust compiler backend focused on compilation speed.
  ☆16Updated 2 years ago
• weso / pregel-rs
  A Graph library written in Rust for implementing your own algorithms in a Pregel fashion
  ☆11Updated 6 months ago
• kerberosmansour / TLA_AutoRepair
  A TLA+ AutoRepair System For Formal Specification with GPT-4
  ☆14Updated last year
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆21Updated last year