Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Narc Rs

(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Stars
50
License
apache-2.0
Open Issues
11
Most Recent Commit
4 years ago
Programming Language
Rust
Total Releases
8
Latest Release
January 18, 2020
Categories
Repo
Suggest An Alternative To narc-rs
Popular Pattern Matching Projects
Ts Pattern ⭐ 10,246
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
dependent packages 352total releases 141latest release December 03, 2023most recent commit 3 months agonpm ts-pattern} Downloads
Pampy ⭐ 3,422
Pampy: The Pattern Matching for Python you always dreamed of.
dependent packages 26total releases 11latest release November 07, 2019most recent commit 2 years agopypi pampy} Downloads
Actor Framework ⭐ 3,053
An Open Source Implementation of the Actor Model in C++
total releases 4latest release September 03, 2015most recent commit 3 months ago
Stumpy ⭐ 2,901
STUMPY is a powerful and scalable Python library for modern time series analysis
dependent packages 16total releases 28latest release August 21, 2023most recent commit 3 months agopypi stumpy} Downloads
Z ⭐ 1,708
Pattern Matching for Javascript
dependent packages 10total releases 20latest release November 05, 2018most recent commit a year agonpm z} Downloads
Popular Type Theory Projects
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 6 months ago
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort
Related Searches
R Rust
Rust Language
Rust Programming Language
R Language
R Programming Language
Programming Language Dependent Types
Language Dependent Types
Language Pattern Matching

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
R
Language
Programming Language
Pattern Matching
Dependent Types
Type Theory
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.