Search Results for "c-support.vim"
Sort By:
Showing 5 open source projects for "c-support.vim"
View related business solutions-
$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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
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
-
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.
-
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
