Pinned Repositories
Armor
A text-based adventure game
Boio
cello
Recursive spreadsheet processor
cello_egui
Egui front-end for cello
eru
Opetopic complex editor
kry
An experimental typechecker with dependent types, homogeneous path types, and cubical composition
kvok-eval
Simple evaluator for the kvok language
miful
Miniature Functional Language
os_template
Template for a simple OS in Rust
Parse.py
Process text like never before.
ruza-net's Repositories
ruza-net/os_template
Template for a simple OS in Rust
ruza-net/eru
Opetopic complex editor
ruza-net/kry
An experimental typechecker with dependent types, homogeneous path types, and cubical composition
ruza-net/kvok-eval
Simple evaluator for the kvok language
ruza-net/miful
Miniature Functional Language
ruza-net/Armor
A text-based adventure game
ruza-net/Boio
ruza-net/cello
Recursive spreadsheet processor
ruza-net/cello_egui
Egui front-end for cello
ruza-net/PyPEG
Python PEG-like grammars.
ruza-net/columnator
Dynamic tab expansion and alignment
ruza-net/cubiq
Homotopy Type System Implementation
ruza-net/eve-native
ruza-net/extent
replacement for std::ops::{Range,RangeInclusive}
ruza-net/grap_protocol
Protocol for a graphics server supporting piping of GUI elements
ruza-net/homebrew-core
🍻 Default formulae for the missing package manager for macOS
ruza-net/iced
A cross-platform GUI library for Rust, inspired by Elm
ruza-net/Korbit
Two-Body Simulator à la Kepler
ruza-net/language-kry
kry language support in Atom
ruza-net/mod_expand
Macro to expand a module inline
ruza-net/MoonZoon
Rust Fullstack Framework
ruza-net/nile
ruza-net/Nod
Imperative meets functional
ruza-net/nom
Rust parser combinator framework
ruza-net/particles
ruza-net/rui
Experimental Rust UI library
ruza-net/tracing_vec
ruza-net/vger-rs
2D GPU renderer for dynamic UIs
ruza-net/Wedro
A simple weather forecast client
ruza-net/zbox
termbox like terminal UI library for zig