Search Results for "void based linux" - Page 10
Sort By:
Showing 586 open source projects for "void based 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.
-
Context for your AI agentsBuild data pipelines that feed your AI models and agents without managing infrastructure. Crawl any website, transform content, and push directly to your preferred vector store. Use 10,000+ tools for RAG applications, AI assistants, and real-time knowledge bases. Monitor site changes, trigger workflows on new data, and keep your AIs fed with fresh, structured information. Cloud-native, API-first, and free to start until you need to scale.
-
1
PopED (Population Experimental Design) is a software tool for computing optimal experimental designs. The software has been developed with an emphasis on drug trials based on population models (non-linear mixed effects models).
-
2
Gradesystem
Gradesystem
C programmed text-based software. Inputs : -Name of a course -Number of students -The 100% value of a mark -All the marks Then it estimates the Standard Deviation and grades, then assigns the marks to the grades inside a text. -
3
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...
-
4
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. -
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
5
Respol: A software package for computing projections of resultant polytopes Description: Respol is C++ software to compute a projection of the Newton polytope of the resultant of a given polynomial system. These are indirectly defined high-dimensional polytopes. Related Papers: [1] I.Z.Emiris, V.Fisikopoulos, C.Konaxis, L.Peñaranda. An oracle-based, output sensitive algorithm for projections of resultant polytopes. International J. Computational Geometry & Applications...
-
6
ntccKMC
ntccKMC: A Kripke-structure-based model checker for ntcc
ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus. Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group. -
7
THIS PROJECT MIGRATED TO GITHUB https://github.com/cosmo-guffa/play-svg A great thanks to SF.net for hosting up until now... it's nothing personal, this just isn't the right tool for the job ;) Project description: pLAySVG is a python library for the development and manipulation of SVG vector graphics through scripting. pLAySVG makes it easy to create graphics based on geometric relationships. It's intended for educational and artistic use.
-
8
metaopt
Optimization toolbox for analyzing metabolic networks
Metaopt contains direct C++ implementations of metabolic analysis methods based on flux optimization. It is mainly developed to solve thermodynamically constrained FBA and FVA (tFVA) efficiently. -
9
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
-
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
Provide a reference implementation of Moving Taylor Bayesian Regression, a method for nonparametric multi-dimensional function estimation with correlated errors from finite samples, as a Python package based on SciPy
-
11
DyMMM
Dynamic Multispecies Metabolic Modeling framework
The Dynamic Multispecies Metabolic Modeling (DyMMM [dĭm]) framework is a mathematical modeling tool that integrates multiple constraint-based metabolic models into a single dynamic community metabolic model. The DyMMM framework was formerly known as the DMMM framework. Please use the following citation for bibliographical purposes: Zhuang, K., Izallalen, M., Mouser, P., Richter, H., Risso, C., Mahadevan, R., & Lovley, D. R. (2011). Genome-scale dynamic modeling of the competition... -
12
That project aims at studying and comparing typical airline IT methods, for instance RM-related algorithms. It works from a Unix/Linux/Mac command-line, and exposes basic APIs. It is being developed in C++, with Python wrappers for some components.
-
13
PyParticles
PyParticles is an opensource particles simulation tool box entirely wr
PyParticles is an opensource particles simulation tool box entirely written in python. It support the most popular integrations methods and the most relevant forces model. It also offer a nice looking OpneGL interface or at your preference a Matplotlib based GUI. PyParticles as a forces models implements Gravity, spring, constant force and electrostatic and the user defined vector field force. As a integrations method it includes Euler, Midpoint, Runge Kutta, Störmer Verlet and Leap frog. -
14
This utility, lingen, implements evolution of native machine code via linear genetic programming. The assembly level code uses a subset of assembly language which manipulates and performs calculations using the floating point unit (FPU) of the CPU.
-
15
egrsa
rsa-elgamal comparison
compare time of process between rsa and elgamal algorithm used to encryption and digital signature. -
16
Kiel University Relation package
Fast C library for relation algebra using binary decision diagrams.
Kure is a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagram. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S. -
17
The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.
-
18
CvHMM
Discrete Hidden Markov Models based on OpenCV
This project (CvHMM) is an implementation of discrete Hidden Markov Models (HMM) based on OpenCV. It is simple to understand and simple to use. The Zip file contains one header for the implementation and one main.cpp file for a demonstration of how it works. Hope it becomes useful for your projects. -
19
Simplex-in-PHP are PHP scripts that solve small linear programming and integer linear programming problems executing the simplex method step by step, printing the tableau and drawing the graphical analysis. Useful for students in Operational Research
-
20
Substitution cipher cracker based on ant colony optimization metaheuristic. Includes GUI. Everything is in czech because this is a school project :(
-
21
PyPedal is a Python module that provides tools for the manipulation of pedigrees, simple visualization of pedigrees, and the calculation of measures of genetic diversity from pedigrees.
-
22
GiNaCRA is a C++ library providing data structures and algorithms for Real Algebraic computations. GiNaCRA is based on the efficient C++ library GiNaC including support for symbolic manipulations on polynomials.
-
23
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... -
24
aal
The Advanced Algebraic Language.
The Advanced Algebraic Language (AAL) is a very dynamic programming language designed to fill the void that has appeared between mainstream languages and algebra. As a result its main focus is ease of use for math problems. To download AAL check out the source code repository. There are versions available for windows and linux with both 32 and 64 bit native binaries: http://svn.code.sf.net/p/aal-lang/code/trunk/bin/ -
25
PTools is a set of useful tools written in Pascal. It includes: scientific calculator, archiver, text editor, remote adminitration and more. It is designed to be portable across operating systems, specially Java-based mobiles, Windows and Unixes.
