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
Language:Rust11 2 00
cranial-coitus
An experimental RVSDG optimizer for brainfuck code
Language:Rust23 5 00
crunch-lang
A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
Language:Rust52 5 342
ddshow
Visualization for Timely Dataflow and Differential Dataflow programs
Language:Rust67 5 134
graph-asm
An experimental Differential Dataflow optimization engine powered by equality saturation
Language:Rust9 5 00
lasso
A fast, concurrent string interner
Language:Rust145 4 2220
rust-langdev
Language development libraries for Rust
913 20 526
size-of
A crate for measuring the total memory usage of an object
Language:Rust6 2 23
sruth
Sruth Lùbach: A toy optimization engine
Language:Rust23 5 01
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.
Language:Rust19 3 53

Kixiron's Repositories

Kixiron/crunch-lang
A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
Language:Rust52 5 342
Kixiron/sruth
Sruth Lùbach: A toy optimization engine
Language:Rust23 5 01
Kixiron/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.
Language:Rust19 3 53
Kixiron/codespan-salsa
An example of using codespan_reporting with the salsa query framework
Language:Rust11 2 00
Kixiron/lsw
LLVM's Safe Wrapper
Language:Rust9 4 10
Kixiron/grammatically
A W3 EBNF parser and generator
Language:Rust4 3 0
Kixiron/stadium
A small no_std arena allocator
Language:Rust3 3 0
Kixiron/prometheus-rs
A library for logging and exporting Prometheus metrics
Language:Rust2 3 0
Kixiron/differential-render
Language:Rust1 3 0
Kixiron/codespan
Beautiful diagnostic reporting for text-based programming languages.
Language:Rust2 0
Kixiron/docs.rs
crates.io documentation generator
Language:Rust2 0
Kixiron/druid
A data-first Rust-native UI design toolkit.
Language:Rust2 0
Kixiron/gigatrace
Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
Language:Rust2 0
Kixiron/golden-tests
A golden file testing library for rust
Language:Rust2 0
Kixiron/inventory
Typed distributed plugin registration
Language:Rust
Kixiron/materialize
Materialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow.
Language:Rust2 0
Kixiron/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
Language:Rust2 0
Kixiron/nectarine
Language:Rust3 0
Kixiron/physme
A physics engined based on my ldjam-47 entry
Language:Rust
Kixiron/rcc
rcc: a Rust C compiler
Language:Rust2 0
Kixiron/RSLint
A (WIP) Extremely fast JavaScript linter and Rust crate
Language:Rust2 01
Kixiron/rust-forge
Information useful to people contributing to Rust
Language:Rust2 0
Kixiron/rust-prometheus
Prometheus instrumentation library for Rust applications
Language:Rust2 0
Kixiron/RustbotPython
A Discord bot for the Community Rust Language server, written in Python.
Language:Python2 0
Kixiron/rustwide
Execute your code on the Rust ecosystem.
Language:Rust
Kixiron/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Language:Rust2 0
Kixiron/tera
A template engine for Rust based on Jinja2/Django
Kixiron/validator
Simple validation for Rust structs
Language:Rust2 0
Kixiron/vscode-ddlog
Visual Studio Code client for the DDlog language server
Language:TypeScript2 0
Kixiron/winmd-rs
Rust winmd parser
Language:Rust