Search Results for "ev"
Sort By:
Showing 3 open source projects for "ev"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
1
EVLib
Management and simulation of Electric Vehicles activities
...On top of this, the library supports the simultaneous operation of many EV activities through the efficient use of threads. -
2
Cpt Kirk
Obtain why and why-not justifications for answer set programs.
Since the method proposed in https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pub is based on meta-programming, it is possible to use existing state-of-the-art software systems that support well-founded and answer-set semantics, which allowed us to start developing this new tool by extending the one that exists related to a debugging approach: Spock, hence the name Cpt. Kirk. Furthermore and more importantly, one direction to explore is to use the technique of reification as described in "metaASP" to obtain the implicants via a saturation technique, and obtaining the prime implicants of provenance formulae by optimization and thus proper minimal justifications. -
3
RezEditor is a plugin editor for the game Escape Velocity: Nova. Code exists to load plugins in Windows or Mac format.
- Previous
- You're on page 1
- Next
