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