You must be logged in to sponsor Kixiron
Become a sponsor to Chase Wilson
I'm interested in programming languages, language tooling, program verification and optimization!
3 sponsors have funded Kixiron’s work.
Featured work
-
vmware/differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Java 1,343 -
Kixiron/lasso
A fast, concurrent string interner
Rust 119 -
Kixiron/ddshow
Visualization for Timely Dataflow and Differential Dataflow programs
Rust 64 -
Kixiron/sruth
Sruth Lùbach: A toy optimization engine
Rust 23 -
Kixiron/rust-langdev
Language development libraries for Rust