ruza-net/kvok-eval ruza-net/kvok-eval

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

ruza-net

Reviews

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

Repository Details

Simple evaluator for the kvok language

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

kry

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

miful

Miniature Functional Language
Rust
1
star
5

eru

Opetopic complex editor
Rust
1
star