Skip to content
<awesome-gh-repos>
vic

owo-lang/voile-rs

Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Source code at GitHub https://github.com/owo-lang/voile-rs
owo-lang/voile-rs.json
{
  "createdAt": "2019-03-29T20:10:50Z",
  "defaultBranch": "master",
  "description": "Dependently-typed row-polymorphic programming language, evolved from minitt-rs",
  "fullName": "owo-lang/voile-rs",
  "homepage": "",
  "language": "Rust",
  "name": "voile-rs",
  "pushedAt": "2020-09-21T17:15:34Z",
  "stargazersCount": 99,
  "topics": [
    "dependent-types",
    "extensible",
    "programming-language",
    "type-theory"
  ],
  "updatedAt": "2025-08-11T14:15:35Z",
  "url": "https://github.com/owo-lang/voile-rs"
}

404: Not Found