Fabian Bösiger's repositories
indexmap
A hash table with consistent order and fast iteration; access items by key or sequence index
umya-spreadsheet
A pure rust library for reading and writing spreadsheet files
ig-trading
Rust bindings for the IG Trading API.
PolyBenchC-4.2.1
PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
debug-plotter
Rust crate that provides a convenient macro to quickly plot variables.
dekker
Dekker's algorithm in Rust.
z-table
Provides a lookup function for the standard normal table, also called Z table.
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
openlimits
A Rust high performance cryptocurrency trading API with support for multiple exchanges and language wrappers.
user-website
Website template with support for users.