A (very) fast Rust library for quantitative finance.

A simple virtual machine - compiler & interpreter - written in golang

okta-jwt-verifier-java

Rhino is an open-source implementation of JavaScript written entirely in Java

A tiny JVM written in Rust. Learning project

Home of OpenVMM and OpenHCL

The math library of Lean 4

geojson data for Taiwan

NVIDIA cuOpt examples for decision optimization

South Korea administrative divisions in ESRI Shapefile, GeoJSON and TopoJSON formats.

Kakaotalk Works on Linux with wine bottles🍷

Play atmospheric modelling like it's LEGO.

A Machine-Independent Debugger

A Tree Parser Generator

The lcc retargetable ANSI C compiler

Time series analysis for Rust, with bindings to Python and Javascript

ANTLR4 parser generator runtime for Rust programming laguage

LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management

Native PostgreSQL driver for the Rust programming language

PiML (Python Interpretable Machine Learning) toolbox for model development & diagnostics

plasTeX plugin to build formalization blueprints.

GraphiQL & the GraphQL LSP Reference Ecosystem for building browser & IDE tools.

Finite differentiation

Linear algebra library for Rust.

Numerical optimization in pure Rust

Statistical computation library for Rust

Open-source Rust framework for building event-driven live-trading & backtesting systems

A rust library for financial data analysis