Typy
A fragmentary bidirectional type system as a Python library
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Mach7 | 1,179 | 3 years ago | 28 | other | C++ | |||||
| Functional programming style pattern-matching library for C++ | ||||||||||
| Datatype99 | 749 | 3 months ago | 1 | July 13, 2022 | mit | C | ||||
| Algebraic data types for C99 | ||||||||||
| Whyhaskellmatters | 424 | 3 years ago | 1 | apache-2.0 | Haskell | |||||
| In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language. | ||||||||||
| Mlstyle.jl | 376 | 6 months ago | 37 | mit | Julia | |||||
| Julia functional programming infrastructures and metaprogramming facilities | ||||||||||
| Sage | 210 | 4 months ago | 12 | mit | Rust | |||||
| A programming language that's wise beyond its bytes!🌱🌿🪴 | ||||||||||
| Expat | 150 |  | 1 | 1 | 6 years ago | 12 | October 25, 2018 | 1 | apache-2.0 | Elixir |
| Reusable, composable patterns across Elixir libraries | ||||||||||
| Sumtypes.jl | 82 | 3 months ago | 7 | mit | Julia | |||||
| An implementation of Sum types in Julia | ||||||||||
| Typy | 53 | 5 years ago | 12 | mit | Python | |||||
| A fragmentary bidirectional type system as a Python library | ||||||||||
| Procrastination | 43 | 4 years ago | 19 | apache-2.0 | Java | |||||
| A small, straightforward library bringing the benefits of functional programming to Java 11 | ||||||||||
| Steak | 25 | 5 years ago | mit | C++ | ||||||
| A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17. | ||||||||||
Alternatives To TypySelect To Compare
Alternative Project Comparisons
Popular Pattern Matching Projects
Popular Algebraic Data Types Projects
Popular Computer Science Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Programming Language
Pattern Matching
Algebraic Data Types