mrLSD / semantic-analyzer-rs

Related projects: ⓘ

• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆85Updated last year
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆71Updated last year
• kprotty / uchan
  Channels
  ☆23Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆36Updated this week
• cormacrelf / incremental-rs
  ☆14Updated 3 weeks ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆35Updated last week
• maplant / marche
  c'est le marché
  ☆38Updated last year
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆122Updated 8 months ago
• mamcx / tree-flat
  TreeFlat is the simplest way to build & traverse a pre-order Tree in Rust
  ☆25Updated last year
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆30Updated 6 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆28Updated 3 weeks ago
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated 10 months ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆56Updated 2 years ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆11Updated 3 weeks ago
• fasterthanlime / pegviz
  PEG trace visualizer
  ☆67Updated 4 months ago
• asvln / analog
  ☆41Updated this week
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆47Updated last year
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• Mubelotix / faster-pest
  A generator for high-performance Pest parsers, bringing your grammar to the next level
  ☆42Updated 3 months ago
• tcdi / postgrestd
  The most peculiar std you have ever seen
  ☆37Updated 10 months ago
• brannondorsey / rust-incompatible-transitive-dependencies
  An example demonstrating how Rust and cargo support incompatible transitive dependencies (like Node.js + npm not Python + pip)
  ☆29Updated last month
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆52Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆18Updated 5 months ago
• zaphar / ucg
  A Universal Configuration Grammar
  ☆36Updated 6 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆49Updated 5 months ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆57Updated last month
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 3 months ago
• nhynes / comptime-rs
  Zig comptime using Rust proc macros
  ☆34Updated 3 months ago
• khonsulabs / pot
  A concise, self-describing binary format written in Rust for Serde
  ☆48Updated last month
• haydnv / freqfs
  An in-memory filesystem cache layer based on tokio::fs, with least-frequently-used eviction
  ☆36Updated last month