cronokirby / ludus

Related projects ⓘ

Alternatives and complementary repositories for ludus

• Kixiron / crunch-lang
  A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
  ☆52Updated 3 years ago
• swgillespie / gccjit.rs
  Rust bindings for libgccjit.
  ☆48Updated last year
• brson / archaea
  Historic Rust code browsing
  ☆24Updated 3 years ago
• iximeow / zvm
  it goes zoom zoom
  ☆46Updated last year
• paulstansifer / unseemly
  Macros have types!
  ☆130Updated last year
• Erk- / RRust
  RRust, a reversible Rust DSL
  ☆34Updated 7 months ago
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆25Updated 4 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated last year
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago
• CensoredUsername / whitespace-rs
  A whitespace JIT compiler
  ☆62Updated 6 months ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆137Updated last year
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated 10 months ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated last year
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated last year
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆50Updated 3 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆26Updated 2 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆24Updated 6 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆24Updated 5 years ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆24Updated 5 years ago
• lf- / pwintln
  pwintln uwu
  ☆36Updated 3 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆36Updated this week
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆101Updated 2 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 4 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆61Updated 4 months ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago