Search Results for "alpha linux" - Page 35
Sort By:
Showing 4076 open source projects for "alpha linux"
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.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
1
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. -
2
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.
-
3
pyTectonics
3d plate tectonics in Python
PyTectonics is no longer maintained. There is a replacement, which you can see here: davidson16807.github.io/tectonics.js. -
4
WTMParse
Python script to parse Unix-like WTMP files
Python script that was originally intended for use in forensic examinations that parses WTMP files from Unix-like operating systems and generates a CSS-styled HTML report containing login terminal, username, log start date and login time/date in a table. Good for postmortem forensic examinations or as a way of getting "last" like information where you don't have the ability to boot the machine in question but can grab the wtmp. -
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.
-
5
Dhvani is Text-to-Speech System for Indic Languages. Current C- GNU/Linux implementation supports Hindi, Kannada, Marathi, Malayalam, Gujarati, Bengali, Telugu, Panjabi, Tamil and Oriya.
-
6
An api for domain level interaction with SNOMED CT and an implementation based on a storage engine using a native SNOMED distribution stored in neo4j as a backend.
-
7
The C# RTree project aims to maintain a C# version of the RTree spatial indexing algorithm. Ported from https://sourceforge.net/projects/jsi
-
8
AgED
AgED - Analysis given Experimental Data
AgED performs automatic feature extraction from your image data and allows for their visualization and management. AgED relies on Elliptic Fourier Transcriptors to extract features from large quantities of image data. These features can then be visualized and you can evaluate them in a statistical manner. This type of analysis is particularly worthwile in the assessment of biological experiments. Elliptic Fourier Descriptors have been applied in a large range of applications in... -
9
SPiM2Eclipse
Eclipse plugin for Stochastic Pi Machine
Stochastic Pi Machine (SPiM), created by Microsoft, is a programming language for modeling biological processes. Two tools are available from Microsoft for simulation. A web application Visual SPiM, and a destkop application SPiM Player. Both simulation tools require to be run on a Windows platform. Fortunately Microsoft has also released a command line version for Linux and Mac OS based on OCAML however this version will only output a CSV file for the simulation results.... -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
Large Scale Optimization Templates
C++ templates with generic nonlinear optimization algorithms
Highly tunable, simple to use collection of the templates, containing a set of classes for solving unconstrained large scale nonlinear optimization problems. Currently it contains: -- Limited Memory Quasi Newton (L-BFSG) -- BFSG -- Conjugate Gradient -- Gradient Descent -- Wolf condition Line Search -- Backtracking Line Search -- Exact Golden Search -- Golden Search with Wolf condition We also distribute a set of tests with the library. -
11
TreeGrOSS Forest Growth Simulation
Software for modelling tree growth
Tree Growth Open Source Software is a Java based version of the forest growth simulator for north west Germany BWINPro. -
12
The Java Astrodynamics Toolkit is a library of components to help users create their own application programs to solve problems in astrodynamics, mission design, spacecraft navigation, guidance and control using Java or Matlab.
-
13
MeteoStationNM
MeteoStaionNM for weather station WS1080(WH1080) for Linux (Ubuntu).
MeteoStaionNM is application for weather station WS1080(WH1080, National Geographic: 265 NE) on platform linux Ubuntu (Kubuntu). This application creating TXT file with actual values (for example : direction wind, wind speed, pressure, temperature outdoor and indoor etc...). Next, application creating picture file PNG with picture of widged Application, which is possible upload to WEBPage. The Application is written in C++. For exaple, You can open SOURCE code in Qt Creator (download on a... -
14
Analysis of biochemical networks.
-
15
SEG-Y files need special compression because they don't compress well using gzip and the like. The code is cross-platform C++ using nothing else than standard system libraries. This is a spin-off from the OpendTect project (http://opendtect.org).
-
16
ox_black_rhino
black_rhino is a multi-agent simulator for financial network analysis
This is the outdated code of black_rhino. The new version is maintained and hosted on github. Please see https://github.com/cogeorg/black_rhino -
17
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
-
18
ViennaX
A flexible plugin execution framework for scientific computing in C++
Welcome to the project homepage of ViennaX, a high-performance scientific computing C++ framework for executing plugins. A plugin system allows to wrap already available functionality into reusable components, which can have data input and output dependencies via a socket system. Different scheduler kernels are available, supporting serial and MPI-based distributed executions, supporting task and data parallelism. -
19
-
20
VSMOExp
Ontologies, which are made up by standardized and defined controlled
Ontologies, which are made up by standardized and defined controlled vocabulary terms and their inter-relationships, are comprehensive and readily searchable repositories for knowledge in a given domain -
21
Frc Robot Simulator
A library that allows programs for a NI CRIO to be run on a computer.
A simulator that allows programs written in Java for a National Instruments CRIO to be run on a local computer by overloading the libraries provided by WPI. Some things we've fixed since 0.1a: Kinect no longer throws an exception upon instantiation, the Watchdog is usable, array elements can now be edited in the gui, and lots of under the hood reimplementation to replace native methods. DISCLAIMER: this is not like the diamond bullet studios simulation, this only simulates how the... -
22
This is a GUI, Java implementation of the Ant Colony Optimisation/Particle Swarm Optimisation (PSO/ACO2) rule induction algorithm. This project was inspired by Ant-Miner, but handles continuous attributes using PSO or now Differential Evolution.
-
23
OpenSQUID
Superconducting QUantum Interference Devices (SQUIDs) control software
OpenSQUID is a Python framework for the control of SQUID (superconducting quantum interference device) readout electronics. It currently supports the Star Cryoelectronics PCI-1000 electronics with PFL-100 and PFL-102 flux-locked loops. Simultaneous operation of both PFL-100s and PFL-102s from a single PCI-1000 is supported. More features are under development. The software is implemented in Python and aims to be easily integrated with user-defined measurement and control code. -
24
mialib
a realtime graphics library
mialib is a core library for game development and interactive graphics research, this has utility modules and defines a framework for developing graphical applications like games. -
25
SCHEDuler SIMULAtor (originally sched_sim) is a simple C++ event driven simulator of scheduling policies (single processor). Currently supported scheduling policies are: FIFO, LIFO, EDF, LST, RM, DM.
