Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for stainless
stainless
x
4 search results found
Smart
⭐
23
Verification and Generation of Smart Contracts using Stainless and Scala
Dub Node
⭐
15
Official Dub.co Typescript SDK
Systemfr
⭐
8
System FR: Formalized Foundations for Stainless
Stainlessfit
⭐
5
Stainless directly built on System FR, with standalone front-end
Related Searches
Scala Stainless (7)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.