convert ident string to hash value, and check conflict
Intermediate representation types for clojurust compiler and interpreter
Terminal user interface for evault.
Arena-allocated expression tree for the oximo optimization framework
Core IR - typed, explicit intermediate representation for BHC
Solver-trait abstraction for oximo backends
PBNI for Rust
DROIDSAW Dalvik bytecode (DEX) decompiler. Builds CFG, SSA form, infers types, emits Java source.
OS keyring-backed secret store for evault.
Gurobi backend for oximo
HiGHS LP/MILP backend for oximo
Rust DSL for writing Apple Metal GPU kernels — write once, run fast on Apple Silicon