Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Subtype Refinement

Refinement types encoded with private types in OCaml. 🙄 🐫 🔬 📚
Stars
5
License
mit
Open Issues
3
Most Recent Commit
5 years ago
Programming Language
OCaml
Categories
Repo
Alternatives To Subtype Refinement
Select To Compare
Language Ext ⭐ 6,022
C# functional language extensions - a base class library for functional programming
dependent packages 203total releases 454most recent commit 4 months agonuget LanguageExt.Core} Downloads
Crocks ⭐ 1,541
A collection of well known Algebraic Data Types for your utter enjoyment.
dependent packages 86total releases 36most recent commit 2 years agonpm crocks} Downloads
Purify ⭐ 1,462
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
dependent packages 52total releases 40most recent commit 4 months agonpm purify-ts} Downloads
Witchcraft ⭐ 1,169
Monads and other dark magic for Elixir
dependent packages 3total releases 17most recent commit 8 months agohex witchcraft} Downloads
Lambda ⭐ 831
Functional patterns for Java
dependent packages 9total releases 33most recent commit a year ago
Runes ⭐ 820
Infix operators for monadic functions in Swift
total releases 12most recent commit 4 years ago
True Myth ⭐ 804
A library for safer and smarter error- and "nothing"-handling in TypeScript.
dependent packages 47total releases 67most recent commit 4 months agonpm true-myth} Downloads


Suggest An Alternative To subtype-refinement
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
University
Cookbook
Related Searches
Types Ocaml
Types Cast
Types Functor
Ocaml Functor
Ocaml Cast

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Ocaml
Functor
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.