Zigi makes context switching a thing of the past. It monitors Jira and GitHub updates, pings you when PRs need approval and lets you take fast actions - all directly from Slack! Learn more →
Top 5 refinement-type Open-Source Projects
Refinement types for ScalaProject mention: Can types replace validation? | reddit.com/r/programming | 2022-08-28
In one respect, nothing. You’re right. Even given refinement types as in Haskell or Scala, there is indeed a necessarily-partial function (refineV in Scala) to refine a value to its refinement type.
A safe, easy systems languageProject mention: Opinions on ante? | reddit.com/r/transprogrammer | 2022-09-04
Write Clean Python Code. Always.. Sonar helps you commit clean code every time. With over 225 unique rules to find Python bugs, code smells & vulnerabilities, Sonar finds the issues while you focus on the work.
Liquid Types For Haskell
Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.Project mention: deal: Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free. | reddit.com/r/pythoncoding | 2022-05-26
Phantom types for Python.Project mention: Sunday Daily Thread: What's everyone working on this week? | reddit.com/r/Python | 2022-10-09
I've written and published about a static type checking technique and a library of mine that implements it: phantom-types.
Truly a developer’s best friend. Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.
refinement-types related posts
Opinions on ante?
1 project | reddit.com/r/transprogrammer | 4 Sep 2022
Can types replace validation?
2 projects | reddit.com/r/programming | 28 Aug 2022
Ante - A safe, easy systems language
1 project | reddit.com/r/github_trends | 11 Aug 2022
Ante: A safe, easy, low-level functional language for exploring refinement types, lifetime inference, and other fun features.
1 project | reddit.com/r/ProgrammingLanguages | 25 Jun 2022
Ante: A low-level functional language
1 project | reddit.com/r/hypeurls | 18 Jun 2022
Ante - A low-level functional language
1 project | reddit.com/r/32hacks | 17 Jun 2022
Ante。一种低级别的功能语言 (Ante: A low-level functional language)
1 project | reddit.com/r/hnzh | 17 Jun 2022
A note from our sponsor - Zigi
www.zigi.ai | 28 Nov 2022
What are some of the best open-source refinement-type projects? This list will help you: