/cure
Latest Cure Threads
HOT IN Cure THIS WEEK!
HOT IN Cure THIS MONTH!
HOT IN Cure THIS YEAR!
HOT IN Cure THE LAST THREE YEARS!
HOT IN Cure THIS Over 3 Years!
Cure
"A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees to the battle-tested BEAM virtual machine"
- Follow
- Join
- Shape
Cure on GitHub
Core Team Members
Portal Stewards
Latest Cure Jobs
Cure Events (WIP)
Get money off!
The Pragmatic Bookshelf
35% off any eBook
Manning Publications
45% off any item
The Pragmatic Studio
20% off any course
Linux New Media
15% off any non-sub item
Simply use coupon code "devtalk.com" at checkout. Where applicable this coupon can be used for an many items and as many times as you like!
Filter by Type:
My Saved Portals
-
None saved yet
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Real-time error tracking, performance insights, and observability for devs.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Develop your skills with books, videos, and courses.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that move you from confusion to "Aha, now I get it!"
Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.