rush-rs / rush

Related projects: ⓘ

• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆63Updated 8 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆18Updated 5 months ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆15Updated this week
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆52Updated last year
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆31Updated this week
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆41Updated last year
• oxalica / async-lsp
  Asynchronous Language Server Protocol framework
  ☆60Updated 3 weeks ago
• garritfra / qbe-rs
  QBE IR in natural Rust data structures
  ☆77Updated last year
• lunacookies / eventree
  A library for immutable lossless syntax trees in Rust
  ☆28Updated 10 months ago
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆71Updated last year
• jfecher / golden-tests
  A golden file testing library for rust
  ☆32Updated last year
• Wilfred / garden
  an interactive programming language
  ☆31Updated this week
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆30Updated 5 months ago
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆43Updated 2 months ago
• rust-lang / bors
  Rust implementation of bors used for various Rust components (e.g. the compiler).
  ☆38Updated this week
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆58Updated 10 months ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆52Updated last week
• KSXGitHub / pipe-trait
  Make it possible to chain regular functions
  ☆41Updated last year
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆40Updated 8 years ago
• P-bibs / skiff
  A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
  ☆31Updated 2 years ago
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 4 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆36Updated this week
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated last year
• fmease / tylift
  Lift enum variants to the type-level.
  ☆30Updated 3 years ago
• umut-sahin / dotlr
  An LR(1) parser generator and visualizer created for educational purposes.
  ☆58Updated last week
• wrsturgeon / rsmonad
  Haskell-style monads in Rust.
  ☆18Updated last year
• fasterthanlime / pegviz
  PEG trace visualizer
  ☆67Updated 4 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• mcy / 0x
  `0x` - like `xxd` but colorful!
  ☆85Updated 2 years ago
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆50Updated 3 years ago