Search Results for "gnu/linux" - Page 77
Sort By:
Showing 2663 open source projects for "gnu/linux"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Streamline Azure Security with Palo Alto Networks VM-SeriesImprove your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
-
1
-
2
-
3
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
-
4
-
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.
-
5
This intuitive (and fully configurable) tool will help users to generate and check truth tables of many variables. You'll be able to work with Clasic logic and Lukasiewicz, Kleene & Bochvar and Gödel multivalued logics.
-
6
Octave interface to the finite elements library Libmesh. Under the scientific interpreted language Octave, Octmesh allows using the Libmesh characteristics for the numerical simulation of partial differential equations on serial and parallel platforms.
-
7
John has between 2 and 5 apples. Mary gives him between 3 and 7 apples. How many apples does he have now? If you even understand this question, you understand interval arithmetic. This Java library implements interval arithmetic for all operators.
-
8
-
9
This will be a place to release tools that have not yet been added to SciPy (or will not be added for whatever reason). Currently an interface to ImageMagick is here.
-
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.
-
10
Linear Al is a research, design and teaching tool for quantum computing and quantum information. A quantum development environment.
-
11
prefix is a command line prefix calculator written in python. It supports basic math functions (add, subtract, multiply, divide) as well as some more advanced (exponents, logarithms, etc.)
-
12
-
13
MathBase is a productivity environment for mathematical problems and technical applications. You will be able to draw geometrical scenes, compute functions, plot them, and write about them, all easy as 1-2-3!
-
14
-
15
This project is meant to develop a What-You-See-Is-What-You-Get graphical interface based on GtkMathView for editing MathML formulas
-
16
JGP is a GUI for gnuplot (http://www.gnuplot.info/). It is made for all those who just love gnuplot but who found that organizing a large number of datasets and plots from the command line is inconvenient. JGP uses gnuplot as plotting engine.
-
17
-
18
-
19
MaCaCo (Mathematical Calculations Core) is a numerical analysis library written in C++ with an XML messaging based interface. It uses a daemon in order to attend requests and serve solutions to the asked problems.
-
20
-
21
-
22
PyGiNaC is a Python interface to the C++ symbolic math library GiNaC (www.ginac.de). Its design attempts to be an easy to use and convenient alternative to cint or ginsh.
-
23
Ro3n is a simple Qt application designed to solve mathematical equations - linear as well as quadratic.
-
24
A simple tool for visualizing finite sets as cardboard boxes. Boxes nest and contain numbers/balls to give a basic intuition for students first learning about sets. 3D visualization done via OpenGL.
-
25
