Jan Ruzicka (@ruza-net)
github

ruza-net

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,300,168 (Top 45 %)
  • Followers 6
  • Following 16
  • Registered almost 11 years ago
  • Most used languages
    Rust
         83.3 %
    Python
         16.7 %
  • Location 🇨🇿 Czechia
  • Country Total Rank 4,051
  • Country Ranking
    Rust
         92
    Python
         1,802

Top repositories

1

os_template

Template for a simple OS in Rust
Rust
3
star
2

Parse.py

Process text like never before.
Python
1
star
3

kvok-eval

Simple evaluator for the kvok language
Rust
1
star
4

kry

An experimental typechecker with dependent types, homogeneous path types, and cubical composition
Rust
1
star
5

miful

Miniature Functional Language
Rust
1
star
6

eru

Opetopic complex editor
Rust
1
star