kixiron
Database, compiler, optimization and graph enthusiast, ask me about my IR.
Funding Links: https://github.com/sponsors/Kixiron
- Name: Chase Wilson
- Location: San Antonio, Texas
- Kind: user
- Followers: 153
- Following: 24
- Total stars: 1202
- Repositories count: 74
- Created at: 2022-11-14T07:51:25.641Z
- Updated at: 2025-02-24T20:37:29.703Z
- Last synced at: 2025-02-24T20:37:29.703Z
GitHub Sponsors Profile
I'm interested in programming languages, language tooling, program verification and optimization!
- Current Sponsors: 3
- Past Sponsors: 0
- Total Sponsors: 3
- Minimum Sponsorship: $1.00
Featured Works
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…
Language: Java - Stars: 1399Kixiron/lasso
A fast, concurrent string interner
Language: Rust - Stars: 148Kixiron/ddshow
Visualization for Timely Dataflow and Differential Dataflow programs
Language: Rust - Stars: 67Kixiron/sruth
Sruth Lùbach: A toy optimization engine
Language: Rust - Stars: 23Kixiron/rust-langdev
Language development libraries for Rust
Language: - Stars: 930Active Sponsors
Past Sponsors
hadrieng2
materializeinc
Sponsor Breakdown
- User: 1
- Organization: 1