Victor-Nicolae Savu's repositories
cpp-str-fmt
Format strings for c++14
cpython-old
Semi-official read-only mirror of the CPython Mercurial repository
futures-rs
Zero-cost asynchronous programming in Rust
generator
Generators (semi-coroutines) in Rust
gleam
Galaxy Line Emission & Absorption Modelling
HeatPump
Arduino library to control Mitsubishi Heat Pumps via connector cn105
HVM
A massively parallel, optimal functional runtime in Rust
Idris2
A purely functional programming language with first class types
idris2-json
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
idris2-parser
Total lexer and parser for Idris2
juniper
GraphQL server library for Rust
keyring-rs
Cross-platform library and utility to manage passwords
lunch-walk
Pass by the food truck on your Lunch Walk
plotly
Plotly for Rust
vscode-jupyter
VS Code Jupyter extension
xorf
Xor filters - efficient probabilistic hashsets. Faster and smaller than bloom and cuckoo filters.