nikomatsakis / salsa

Related projects ⓘ

Alternatives and complementary repositories for salsa

• loro-dev / generic-btree
  It’s a pure safe BTree that can be used to build your own special-purpose btree data structure
  ☆52Updated 6 months ago
• loro-dev / columnar
  ergonomic columnar storage encoding crate
  ☆24Updated 2 months ago
• lord / anchors
  self adjusting computations in rust
  ☆130Updated 3 years ago
• darklang / fizzboom
  Benchmark to compare async web server + interpreter + web client implementations across various languages
  ☆46Updated last year
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆68Updated 3 years ago
• bytecodealliance / rfcs
  RFC process for Bytecode Alliance projects
  ☆62Updated last month
• leonwanghui / ms-backend-wasm
  Experimental WebAssembly backend to MindSpore.
  ☆57Updated 4 years ago
• fitzgen / bacon-rajan-cc
  ☆91Updated last year
• haydnv / freqache
  A thread-safe Rust LFU cache which supports a custom eviction policy
  ☆35Updated last year
• salmans / codd
  A minimal in-memory database with relational algebraic expressions as queries
  ☆60Updated 3 years ago
• SodiumFRP / sodium-rust
  FRP implementation in Rust
  ☆77Updated 4 months ago
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 4 years ago
• RCHowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆21Updated 2 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆38Updated 3 months ago
• garrensmith / couch_hack_week
  Rust CouchDB implementation for Cloudant hackweek
  ☆68Updated 4 years ago
• maidsafe / crdt_tree
  ☆122Updated 10 months ago
• wapm-packages / rust-wasi-example
  A toy Rust application compiled to WASI WebAssembly
  ☆34Updated 3 years ago
• rustwasm / wasm-webidl-bindings
  Read, write, and manipulate the Wasm WebIDL bindings custom section
  ☆38Updated 4 years ago
• slashdotted / libmelda
  Melda: A General Purpose Delta State JSON CRDT
  ☆27Updated last month
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 4 years ago
• epilys / vfsstat.rs
  Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c
  ☆33Updated 9 months ago
• sushrut141 / DharmaDB
  Persistent, fault tolerant key-value store written in Rust.
  ☆66Updated 3 years ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆44Updated 5 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆137Updated last year
• automerge / automerge-repo-rs
  ☆39Updated this week
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆64Updated 2 years ago
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 4 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆43Updated 7 years ago
• Kixiron / ddshow
  Visualization for Timely Dataflow and Differential Dataflow programs
  ☆67Updated 3 years ago