rtjoa

rtjoa's Stars

• Tractables/Dice.jl

  Language:Julia134

• ocaml-flambda/flambda-backend

  The Flambda backend project for OCaml

  Language:OCaml9469

• egraphs-good/eggcc

  Language:Rust398

• uwplse/ruler

  Rewrite Rule Inference Using Equality Saturation

  Language:Rust1088

• egraphs-good/egglog

  egraphs + datalog!

  Language:Rust38545

• sisl/CUDD.jl

  Wrapper for the CUDD library for decision diagrams

  Language:Julia88

• Tractables/PolyBranch.jl

  Polymorphic control flow in Julia

  Language:Julia11