Search Results for "accessible-coconut"
Sort By:
Showing 2 open source projects for "accessible-coconut"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
Add Two Lines of Code. Get Full APM.Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
-
1
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
2
The Monster Journal - An electronic journalling program to replace the paper notebook. The Monster Journal provides the user a centralized, easily accessible electronic notebook for storing thoughts, ideas, and answers to questions.
- Previous
- You're on page 1
- Next
