Alternatives and similar repositories for socratic-shell

Users that are interested in socratic-shell are comparing it to the libraries listed below

• BurntSushi / duration-unit-lookup
  How fast can we recognize a word from a small pre-determined set?
  ☆79Updated 7 months ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆64Updated last year
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆186Updated 3 weeks ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆59Updated 5 months ago
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆139Updated last week
• BurntSushi / rsc-regexp
  Translations of a simple C program to Rust.
  ☆141Updated last year
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆102Updated 2 months ago
• QuineDot / rust-snags
  Gotchas and warts in Rust Lang
  ☆75Updated 2 years ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆122Updated last year
• nikomatsakis / rust-design-axioms
  Discovering and describing Rust's design axioms
  ☆75Updated last year
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated 8 months ago
• willcrichton / indexical
  Human-friendly indexed collections
  ☆54Updated 3 months ago
• mtomassoli / HKTs
  Seamless Higher-Kinded Types in Rust
  ☆84Updated 2 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 11 months ago
• orsinium-labs / rlci
  🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
  ☆66Updated 4 months ago
• faiface / par
  ⅋ — session types for Rust
  ☆206Updated last month
• neysofu / reltester
  Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
  ☆20Updated 2 years ago
• oxidecomputer / daft
  Ergonomic Type Diffs
  ☆61Updated last month
• duchess-rs / duchess
  Silky smooth Java-Rust interop
  ☆191Updated this week
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆216Updated 2 weeks ago
• jkaye2012 / refined
  Simple refinement types for Rust; parse, don't validate!
  ☆74Updated 2 weeks ago
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆74Updated last week
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆97Updated last year
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated 4 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• alexpusch / pumps_rs
  ☆142Updated last week
• droundy / internment
  Interning of data in rust
  ☆106Updated 2 months ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆165Updated this week
• matklad / arbtest
  A minimalist property-based testing library
  ☆115Updated 3 months ago