Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

owo-lang/narc-rs

(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Source code at GitHub https://github.com/owo-lang/narc-rs
owo-lang/narc-rs.json
{
  "createdAt": "2019-09-09T05:38:33Z",
  "defaultBranch": "master",
  "description": "(WIP) Dependently-typed programming language with Agda style dependent pattern matching",
  "fullName": "owo-lang/narc-rs",
  "homepage": "",
  "language": "Rust",
  "name": "narc-rs",
  "pushedAt": "2020-10-05T03:18:31Z",
  "stargazersCount": 80,
  "topics": [
    "dependent-types",
    "pattern-matching",
    "programming-language",
    "type-theory"
  ],
  "updatedAt": "2025-08-26T22:44:29Z",
  "url": "https://github.com/owo-lang/narc-rs"
}

404: Not Found