Search Results for "c source code"
Sort By:
Showing 5 open source projects for "c source code"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
2
A set of command-line utilities for annotating and manipulating DNA sequences in FASTA format. Generate restriction fragments, ORF's, translations, reverse complement, etc. . - and tie it all together with Unix pipes for complete virtual cloning.
-
3
Functional Reactive VR is a library for developing dynamic, interactive Virtual Environments. The FRVR framework provides new and powerful tools for implementing the dynamics and interaction of Interactive Experiences.
-
4
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
- Previous
- You're on page 1
- Next
