bvssvni
Computer and AI engineer with 17+ experience in prof. software dev. Founder of Piston, creator of Dyon. Deep math. intuition thinker, Rust "friend of the tree"
Cutout ProNorway
Pinned Repositories
rust-idris-fs
An attempt at writing C libraries in Rust that can be called from Idris
rust-snake
Sea Snake Escape: A sea snake game in Rust using Piston game engine
image
Encoding and decoding images in Rust
dyon
A rusty dynamically typed scripting language
graphics
A library for 2D graphics, written in Rust, that works with multiple back-ends
piston
A modular game engine written in Rust
piston-examples
A collection of examples using the Piston game engine
piston_window
The official Piston convenience window wrapper for the Piston game engine
bvssvni's Repositories
bvssvni/trinoise
A mathematical noise pattern of 3 values based on Number Theory and Set Theory
bvssvni/shader_version
A helper library for detecting and picking compatible shaders
bvssvni/conrod
A graph based user interface with Boolean predicate search and flexible panel system written in Rust
bvssvni/music
A high level library for playing music
bvssvni/scroll_controller
A Piston library for handling scrolling areas
bvssvni/button_controller
A Piston library for handling button state and events
bvssvni/split_controller
A Piston library for handling split layout state and events
bvssvni/button_tracker
A Rust library for tracking key/mouse press events from windows for use in update loops
bvssvni/drag_controller
A drag controller
bvssvni/timer_controller
A timer controller
bvssvni/debug_sat
A debuggable automatic theorem prover for boolean satisfiability problems (SAT).
bvssvni/max_tree
A utility maximizer library based on a maximum tree structure.
bvssvni/rigid_body
A minimalistic rigid body library
bvssvni/error_predictive_learning
Black-box learning algorithm using error prediction levels
bvssvni/agent_safety_layers
Construct agents that are wrapped in safety layers
bvssvni/permutative_group_of_functions
Formally checked proofs of permutative group of functions in Coq IDE
bvssvni/hilbert_image_to_sound
A library for turning images into sound using Hilbert space-filling curves
bvssvni/reachability_solver
A linear reachability solver for directional edges
bvssvni/higher_order_core
Core structs and traits for programming with higher order structures in Rust
bvssvni/quack
Duck typing traits
bvssvni/tree_mem_sort
An in-memory topological sort algorithm for trees based on Group Theory
bvssvni/graph_builder
An algorithm for generating graphs with post-filtering and edge composition.
bvssvni/path_semantics_std
A Rust type checked implementation of the standard dictionary of path semantics using constrained functions
bvssvni/image
Encoding and decoding images in Rust
bvssvni/linear_solver
A linear solver designed to be easy to use with Rust enums.
bvssvni/rust-pushrod
Cross Platform 3D Rendered GUI Widget Library for Rust
bvssvni/rect
Helper methods for computing simple rectangle layout
bvssvni/vecmath
A simple and type agnostic library for vector math designed for reexporting
bvssvni/read_token
A simple library to read tokens using look ahead
bvssvni/range
A library for range addressing