Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Styff

A functional programming language based on system F (omega) ft. NbE and higher order unification
Stars
7
License
No license specified
Open Issues
0
Most Recent Commit
a year ago
Programming Language
OCaml
Categories
Site
Repo
Suggest An Alternative To Styff
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 5 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 5 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 5 months agopypi stumpy} Downloads
Z ⭐ 1,708
Pattern Matching for Javascript
dependent packages 10total releases 20latest release November 05, 2018most recent commit 2 years agonpm z} Downloads
Popular Type Checking Projects
Closure Compiler ⭐ 7,175
A JavaScript checker and optimizer.
dependent packages 180total releases 135latest release November 13, 2023most recent commit 5 months ago
Ts Toolbelt ⭐ 6,503
👷 TypeScript's largest type utility library
dependent packages 973total releases 928latest release March 10, 2021most recent commit a year agonpm ts-toolbelt} Downloads
Ow ⭐ 3,740
Function argument validation for humans
dependent packages 457total releases 44latest release January 26, 2023most recent commit a year agonpm ow} Downloads
Thinc ⭐ 2,774
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
dependent packages 67total releases 229latest release September 22, 2023most recent commit 5 months agopypi thinc} Downloads
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort
Related Searches
Ocaml Type Inference
Ocaml Type Checking
Ocaml Gadt
Ocaml Pattern Matching
Pattern Matching Type Inference

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Programming Language
Pattern Matching
Type Checking
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.