Search Results for "concrete"
Sort By:
Showing 2 open source projects for "concrete"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
1
Iterative Flow Analysis
Iterative Data and Control Flow Analysis
https://github.com/jplevyak/ifa IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominal or declared types) and the interprocedural call graph for statically or dynamically typed programs. -
2
Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy. Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.
- Previous
- You're on page 1
- Next
