hylo-lang / Lotsawa

Related projects ⓘ

Alternatives and complementary repositories for Lotsawa

• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆34Updated 6 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• hylo-lang / Swifty-LLVM
  Swifty interface for the LLVM compiler infrastructure.
  ☆28Updated last month
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆9Updated 7 months ago
• graydon / berlin
  berlin windowing system -- historical snapshot
  ☆13Updated 10 months ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆31Updated 3 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆31Updated this week
• drewcrawford / objr
  Drew's very fast objc rust bindings
  ☆16Updated last month
• IanBriggs / megalibm
  ☆14Updated last year
• I-mikan-I / zlox
  lox virtual machine implementation in zig!
  ☆26Updated 2 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆49Updated 4 months ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆14Updated 2 years ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 2 years ago
• dobesv / charity
  Charity Programming Language
  ☆38Updated 9 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆30Updated last year
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 8 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years ago
• kubkon / zacho
  Zig's Mach-O parser
  ☆37Updated 2 months ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆21Updated last month