Search Results for "mac security software" - Page 3
Sort By:
Showing 202 open source projects for "mac security software"
View related business solutions-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
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.
-
1
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
2
TOPS_CeMM
User Friendly Data Analysis Tool for Interaction Data
TOPS provides the benchtop scientist with a free toolset to analyze, filter and visualize data from functional genomic gene-gene and gene-drug interaction screens with a flexible interface to accommodate various different technologies and analysis algorithms in addition to those already provided here. -
3
algebrain
Math Parser for Java
Moved to GitHub https://github.com/fedups Algebraic equation processing at run time for Java programs. Supports variables, functions with parameters, rate table lookups, an embedded "if" function... Infinitely extensible, very small footprint. -
4
JSci - A science API for Java
A science API for Java
JSci is a set of open source Java packages. The aim is to encapsulate scientific methods/principles in the most natural way possible. As such they should greatly aid the development of scientific based software. -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
Interdependent Java frameworks: AMath (abstract numbers support); AFuzzy (fuzzy numbers and methods); AMathSys (flexible solvers of linear and nonlinear algebraic and differential equations); ADSM (multi-criteria ranking and grading of alternatives).
-
6
HYDRA is an open-source, platform-neutral library for performing Markov Chain Monte Carlo. It implements the logic of standard MCMC samplers within a framework designed to be easy to use and to extend while allowing integration with other software to
-
7
The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
-
8
-
9
Myrtle
A simple programmable spreadsheet for learning statistics.
Myrtle is a simple programmable spreadsheet and statistical analysis software specifically designed for learning statistics. It provides the standard spreadsheet functionality one would expect like multiple tabbed sheets, relative and absolute row and column referencing in formulas, and a large catalog of built-in functions. Functions specific to logic and computer science, mathematics, probability, and statistics are available. Student's can easily create, customize, and update plots and... -
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
Puran2 - Real Random Number Generator
Real Random Number Generator
Puran2 is a real random number generator based on electronic noise. The random bits are stored on a CD. The software allow the access to the random bits like a pseudo random number generator and is easy to use. It can be mixed with random number of a tausworthe generator to grow the count of random number. -
11
Octclipse
Octave Eclipse GUI
Octave development environment built upon Eclipse's Dynamic Languages Toolkit (http://www.eclipse.org/dltk/). Distributed as an Update site for Eclipse 3.7 Indigo and Indigo-based package for several platforms. Supports search, autocompletion, launching scripts, interactive console, debug and integrated plotting on Octave versions 3.2.x, 3.4.x and 3.6.x. The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac... -
12
A software framework to build maps for Neurospora crassa genome based on probabilistic models of meiotic recombination. A netbeans platform application is built to incorporate the computations. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/GENOMEMAP
-
13
Semantic query optimization (SQO) is the process of finding equivalent rewritings of an input query given constraints that hold in a database instance. We present a Chase & Backchase (C&B) algorithm strategy that generalizes and improves on well-known methods in the field. The implementation of our approach, the pegasus system, outperforms existing C&B systems an average by two orders of magnitude. This gain in performance is due to a combination of novel methods that lower the complexity...
-
14
Bayesian Network tools in Java (BNJ) is an open-source suite of software tools for research and development using graphical models of probability. It is published by the Kansas State University Laboratory for Knowledge Discovery in Databases (KDD).
-
15
Sphaerica
Interactive spherical geometry software.
Sphaerica is an interactive spherical geometry computer software. You can create complex geometric constructions in spherical geometry with this software. It supports orthogonal, stereographic and gnomonic projections to display your construction. It also has a built in scripting language for automated constructions. -
16
FroZenLight connects simple line art and mathematics. The source of light can be positioned so that either symmetric reflection patterns or secret messages (Cryptography) are created. Example light patterns and math exercises for education are provided.
-
17
The Systems Biology Ontology project (SBO) goal is to develop controlled vocabularies and ontologies tailored specifically for the kinds of problems being faced in Systems Biology, especially in the context of computational modeling. !!!! Important Announcement !!!! We have moved the curation and development of Systems Biology Ontology (SBO) to a git-hub repository https://github.com/EBI-BioModels/SBO. Hence, this SourceForge SBO project has also been retired. Please use the Git-Hub...
-
18
Math Simulator
A simulation software for numerical techniques.
Math Simulator is a java-based application which simulates various mathematical techniques.It is extremely useful for the Engineering students and for professionals. Most importantly, unlike most others Math Simulator is an Application rather than a java - library. So, user is not required to have any computer background. A Unique feature of Math Simulator is that it allows you to save queries for later reference. Hence you can save the problems along with their results. -
19
f2what
Lapack/quadprog QP for VBA/.Net/Java
F2what is an open source project to translate algorithmic fortran to a variety of languages (java, dotnet and VBA so far). It offers a Fortran77 parser with code transformations, variable disambiguation, and modular output to other programming languages. It also offers already translated versions of Lapack and quadprog to Java, .Net and VBA, to give access to SVD, LU, QR, Cholesky, eigenvalue decomposition, linear system solving and QP optimization in those three languages. -
20
QMC Logic Minimizer
combinational logic functions minimization
QMC Logic Minimizer is a versatile application for fast simplifying truth and reduce lines tables. This program offers a comfortable user interface for generating and minimizing of the combinational logic functions. It is unique for its possibility of minimizing several functions at the same time. This program is intended for practical digital devices constructors as well as formal scholars and academics. Features: - You can minimize up to 16 input variables and up to 16 output... -
21
Regra de Sarrus
Este software obtém a determinante de uma matriz.
Este software, obtém a determinante de uma matriz, através da regra de sarrus. -
22
This project provides an interface to Java expression evaluator software. It does not itself provide expression capabilities but instead provides a common interface.
-
23
This project provides a set of libraries written in Java to easily manipulate Multi-Criteria Decision Aid (MCDA) concepts, especially related to outranking methods, and XMCDA files.
-
24
Galois sub-hierarchy builder
Visualize Galois sub-hierarchy of 2d matrix
GSH builder is a free Galois Sub-Hierarchy visualization tool. The algorithm for calculating GSH is called Pluton and the present Java realization is based on two articles. "Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and... -
25
Bracer
Repository has been moved to: http://dtitov.github.com/bracer
Java library for parsing and evaluating math expressions. Javadoc is available at http://bracer.sourceforge.net/javadoc/ P.S. This library depends on Apache Commons Math, so don't forget to include commons-math-2.2.jar to your project.
