hylo-lang / Lotsawa

Related projects: ⓘ

• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆33Updated 4 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆30Updated last year
• graydon / berlin
  berlin windowing system -- historical snapshot
  ☆13Updated 8 months ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆30Updated last week
• IanBriggs / megalibm
  ☆11Updated last year
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆19Updated 6 years ago
• dobesv / charity
  Charity Programming Language
  ☆37Updated 9 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆43Updated 2 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆9Updated 5 months ago
• drewcrawford / objr
  Drew's very fast objc rust bindings
  ☆17Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 3 years ago
• snyball / spaik
  The SPAIK LISP Programming Language
  ☆40Updated 2 months ago
• kubkon / zacho
  Zig's Mach-O parser
  ☆37Updated this week
• NoraCodes / sbrain
  A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.
  ☆22Updated 4 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆14Updated 2 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆34Updated 7 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• I-mikan-I / zlox
  lox virtual machine implementation in zig!
  ☆26Updated 2 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆31Updated 10 months ago
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 6 months ago
• ziglang / fetch-them-macos-headers
  A utility for fetching minimal macOS libc headers
  ☆50Updated last month
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆39Updated 4 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆36Updated 7 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year