bvssvni/hooo
Propositional logic with exponentials
Computer and AI engineer with 20+ experience in prof. software dev. Founder of Piston, creator of Dyon. Deep math. intuition thinker, Rust "friend of the tree"
Repositories
bvssvni/path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
bvssvni/glfw-rs
GLFW3 bindings and idiomatic wrapper for Rust.
bvssvni/last_order_logic
An experimental logical language
bvssvni/dyon
A rusty dynamically typed scripting language
bvssvni/piston
A user friendly game engine written in Rust
bvssvni/observer_selection_effects
Various experiments in optimization algorithms derived from probabilistic observer selection effects
bvssvni/winit_window
A winit back-end for pistoncore-window
bvssvni/gfx_text
Draw text for gfx using freetype
bvssvni/piston-examples
A collection of examples using the Piston game engine
bvssvni/turbine
A 3D game engine with built-in editor
bvssvni/piston_window
The official Piston window back-end for the Piston game engine
bvssvni/wgpu_graphics
bvssvni/kiss3d
Keep it simple, stupid 3d graphics engine for Rust.
bvssvni/puzzle_design
A game engine for generic puzzle design and problem solving
bvssvni/discrete
Combinatorial phantom types for discrete mathematics
bvssvni/glutin_window
A Piston window back-end using the Glutin library
bvssvni/underscore_args
Macro for underscore named argument syntax, aka Dyon
bvssvni/graph_solver
An undirected graph constraint solver for node and edge colors
bvssvni/Piston-Tutorials
Tutorials for Piston
bvssvni/glium_graphics
A Glium 2D back-end for the Piston game engine
bvssvni/gfx_graphics
A Gfx 2D back-end for the Piston game engine
bvssvni/glfw_window
A GLFW window back-end for the Piston game engine
bvssvni/graphics_tree
A 2D graphics backend for Piston-Graphics that stores and optimizes commands
bvssvni/piston_collada
Rust library for parsing COLLADA files
bvssvni/camera_controllers
A Rust library for controlling 3D cameras for the Piston engine
bvssvni/sprite
A library for sprite hierarchy and scene management
bvssvni/shapes
Convenience structs for 2D shapes
bvssvni/touch_visualizer
A library for visualizing input touches with Piston-Graphics
bvssvni/dual_quaternion
A simple and type agnostic Rust library for dual-quaternion math designed for reexporting