Search Results for "share"
Sort By:
Showing 3 open source projects for "share"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Nonprofit Budgeting SoftwareMartus' collaborative and easy-to-use budgeting and reporting platform will save you hundreds of hours each year. It's designed to make the entire budgeting process easier and create unlimited financial transparency.
-
1
The ATS PL System
Unleashing the potentials of types and templates
The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof. -
2
This is a reprository of software I have written. It is written in C, C++ and hopefully in some obscure Basic :-) I gladly share my stuff with you under the MIT license, so you can do what you want with it (almost)... :-)
-
3
The Doodle project aims to provide a language to easily describe Origami diagrams and produces a ready-to-print document. Doodle will free creators from diagramming constraints and increase their capability to share their creations.
- Previous
- You're on page 1
- Next
