ruza-net/kry ruza-net/kry

  • Stars
    star
    1
  • Language
    Rust
  • License
    GNU General Publi...
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ruza-net/kry
github

ruza-net

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An experimental typechecker with dependent types, homogeneous path types, and cubical composition

More 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

miful

Miniature Functional Language
Rust
1
star
5

eru

Opetopic complex editor
Rust
1
star