Kixiron
Database, compiler, optimization and graph enthusiast, ask me about my IR.
@FelderaSan Antonio, Texas
Pinned Repositories
codespan-salsa
An example of using codespan_reporting with the salsa query framework
cranial-coitus
An experimental RVSDG optimizer for brainfuck code
crunch-lang
A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
ddshow
Visualization for Timely Dataflow and Differential Dataflow programs
graph-asm
An experimental Differential Dataflow optimization engine powered by equality saturation
lasso
A fast, concurrent string interner
rust-langdev
Language development libraries for Rust
size-of
A crate for measuring the total memory usage of an object
sruth
Sruth Lùbach: A toy optimization engine
tagged-box
A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro interface to safely create NaN-boxed enums.
Kixiron's Repositories
Kixiron/rust-langdev
Language development libraries for Rust
Kixiron/lasso
A fast, concurrent string interner
Kixiron/ddshow
Visualization for Timely Dataflow and Differential Dataflow programs
Kixiron/cranial-coitus
An experimental RVSDG optimizer for brainfuck code
Kixiron/graph-asm
An experimental Differential Dataflow optimization engine powered by equality saturation
Kixiron/size-of
A crate for measuring the total memory usage of an object
Kixiron/noah
A library providing various reference counting types and interfaces
Kixiron/dotfiles
Kixiron/arcstr
Better reference counted strings for Rust
Kixiron/avr-hal-template
cargo-generate template for avr-hal projects
Kixiron/database-stream-processor
Streaming and Incremental Computation Framework
Kixiron/ddlog
Kixiron/ddlog-lsp
A language server implementation for DDlog
Kixiron/ddshow-demo
A really basic demo of DDShow
Kixiron/differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
Kixiron/differential-datalog
An in-memory incremental Datalog engine based on Differential Dataflow
Kixiron/dynamic-datalog
Engines, queries, and data for dynamic Datalog computation
Kixiron/glidesort
A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
Kixiron/iced
Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for .NET, Rust, Python, JavaScript
Kixiron/jpeg-decoder
JPEG decoder written in Rust
Kixiron/kugelblitz.rs
Kixiron/libc
Bindings to avr-libc
Kixiron/rosalind
Solutions to Rosalind bioinformatics problems
Kixiron/rust
Empowering everyone to build reliable and efficient software.
Kixiron/Rust-CUDA
Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
Kixiron/rustbot
Rust programming language bot for Discord
Kixiron/stdarch
Rust's standard library vendor-specific APIs and run-time feature detection
Kixiron/team
Rust teams structure
Kixiron/timely-dataflow
A modular implementation of timely dataflow in Rust
Kixiron/triomphe
Fork of std::sync::Arc with lots of utilities useful for FFI