ninkoze's repositories
testing-and-tuning-market-trading-systems
Source Code for 'Testing and Tuning Market Trading Systems' by Timothy Masters
a-mir-formality
a PLT redex model of MIR and its type system
amadeus
Harmonious distributed data analysis in Rust.
aya
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
eom
Configurable ODE/PDE solver
gfx
A low-overhead Vulkan-like GPU API for Rust.
libkfr_capi-sys
Rust Bindings for KFR library https://github.com/kfrlib/kfr
lua-nginx-module
Embed the Power of Lua into NGINX HTTP servers
nvim-tree.lua
A file explorer tree for neovim written in lua
Peroxide
Rust numeric library with R, MATLAB & Python syntax
plotters
A rust drawing library focus on data plotting for both WASM and native applications 🦀 📈🚀
polars
Rust DataFrames
rand
A Rust library for random number generation.
salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.