Search Results for "pnpm-linux"
Sort By:
Showing 8 open source projects for "pnpm-linux"
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.
-
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.
-
1
IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);
-
2
OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
-
3
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
-
4
The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
-
6
Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.
-
7
It is a collection of small tools for Chaos Modelling, based on ideas of Life game, Tierra and others.
-
8
Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.
- Previous
- You're on page 1
- Next
