Search Results for "system 1"
Sort By:
Showing 81 open source projects for "system 1"
View related business solutions-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
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.
-
1
Evo 2
Genome modeling and design across all domains of life
Evo 2 is a DNA language model system designed for long-context genome modeling and biological sequence design across all domains of life. The project models DNA at single-nucleotide resolution and supports context windows of up to one million base pairs, which places it in a class of models built for very large genomic reasoning tasks. According to the repository, it uses the StripedHyena 2 architecture, was pretrained with Savanna, and was trained autoregressively on the OpenGenome2 dataset containing 8.8 trillion tokens. ... -
2
MathCode
A Frontier Mathematical Coding Agent
...The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines. -
3
JAX
Composable transformations of Python+NumPy programs
With its updated version of Autograd, JAX can automatically differentiate native Python and NumPy functions. It can differentiate through loops, branches, recursion, and closures, and it can take derivatives of derivatives of derivatives. It supports reverse-mode differentiation (a.k.a. backpropagation) via grad as well as forward-mode differentiation, and the two can be composed arbitrarily to any order. What’s new is that JAX uses XLA to compile and run your NumPy programs on GPUs and... -
4
Baya - SoC Integration Platform
Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
1. Comes with 200+ high level Tcl commands around SoC platform assembly 2. Easy to start - use the verilog2baya tool to convert existing SoC/SS into Baya 3. Adhoc and Interface based connections 4. Autoconnections 5. Rule based connections between component ports 6. A variety of SoC integration Methodologies 6.a. XLS/CSV Based connections 6.b. -
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
5
IP-XACT 2009/2014 Platform
Smart GUI/Commandline tools to create IP-XACT( 2009/2014) files
Smart GUI to create or update IP-XACT often needed for the IP packaging. It has capability create Bus Definitions from scratch to populate BusDef library. One can create IP-XACT Component, Design or Registers by importing Ip in System Verilog/Verilog-95/VHDL, instantiate Bus Interfaces with proper port maps and attributes as needed. Smart GUI to create IP-XACT Registers, Memory Maps, Address Blocks for IP- has feature to import XLS or Verilog . It has Tcl/Python API support. ipxact2verilog - Generate Verilog module from IP-XACT definition ipxact2vhdlentity - Generate VHDL entity from IP-XACT Component definition verilog2ipxact - Generates IP-XACT definition from Verilog modules vhdl2ipxact - Generates IP-XACT definition from VHDL source ipxactcoherencycheckerverilog / ipxactcoherencycheckervhdl - Validates IP-XACT Component definition with RTL validateipxact - IP-XACT Linting tool -
6
Minsky
System dynamics program with additional features for economics
...Sign up to Minsky's Patreon page (for as little as $1 a month) at https://www.patreon.com/Ravelation/. This creates a user community, which SourceForge doesn't facilitate. -
7
itom
itom - an Open Source Measurement, Automation and Evaluation Software
itom is an open source software suite for operating measurement systems, laboratory automation and data evaluation. One main application of itom is the development and operation of sensor and measurement system for instance in a laboratory environment. Therefore, the software has to be able to communicate with a wide range of different hardware systems, such as cameras or actuators and should provide a diversified and as complete as possible set of evaluation and data processing methods. ... -
8
OdooPLM
A Full PLM system based on odoo
OdooPLM - full open source PLM built on Odoo. 3D models, 2D drawings, BOMs, revisions and documents, versioned. LGPL-3, since 2010 by OmniaSolutions, Official Odoo Partner. YOU DO NOT NEED ODOO AS YOUR ERP. Run it as a standalone PLM beside your existing ERP - Odoo is the platform, not the commitment. Already on Odoo? PLM and ERP share one database. THIS PAGE = WINDOWS CAD CONNECTOR. One build works with every Odoo version (v11+). Download: /files/Client/Stable/ CAD: SolidWorks,... -
9
DAE Tools Project
Object-oriented equation-based modelling and optimisation software
DAE Tools is a cross-platform equation-based object-oriented modelling, simulation and optimisation software. It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as... -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
10
PTBC
irreversible encryption with time self-destruction
Petoron Time Burn Cipher (PTBC) A promising cipher based on self-destruction of time, complete absence of traces and impossibility of key selection. Key features: AES-CFB encryption with per-file IV Argon2id key derivation with 256MB RAM resistance TTL (time to live) built directly into the encrypted file HMAC-SHA512 integrity verification Self-deleting mode (--autowipe) and one-time access marking (--onetime) No file metadata, no recovery, no password resets Philosophy: If... -
11
TAVIA
Open statistics and scientific graphing
TAVIA is a free and open-source desktop application for statistical analysis, scientific graphing, reproducible workflows, and research project management. It combines editable data tables, statistical tests, regression, dose-response analysis, publication-quality graphs, reports, project history, and reproducibility tools in one workspace. Analyses and graphs remain linked to their source data so results can be refreshed when data changes. TAVIA supports Windows, Linux, and macOS, includes... -
12
Liquid rocket engine parameter solver
This is the liquid rocket engine parameter solver Alpha release 1.
This is the liquid rocket engine parameter solver Alpha release 1 which is the first version for this project. This first version will help to find thrust values by giving some values to the system -
13
Warehouse Controls
A versatile building control system using ESP32 type controllers.
A building control system which includes an Access control database combined with a easy graphical user interface. This system includes at conception, an array of controllers and sensors to allow the monitoring of occupancy, access, lighting and HVAC. -
14
pyntcloud
pyntcloud is a Python library for working with 3D point clouds
This page will introduce the general concept of point clouds and illustrate the capabilities of pyntcloud as a point cloud processing tool. Point clouds are one of the most relevant entities for representing three dimensional data these days, along with polygonal meshes (which are just a special case of point clouds with connectivity graph attached). In its simplest form, a point cloud is a set of points in a cartesian coordinate system. Accurate 3D point clouds can nowadays be (easily and cheaply) acquired from different sources. pyntcloud enables simple and interactive exploration of point cloud data, regardless of which sensor was used to generate it or what the use case is. ... -
15
pyrpl
PyRPL turns your Red Pitaya into a powerful analog feedback device.
The Red Pitaya is a commercial, affordable FPGA board with fast analog inputs and outputs. This makes it useful for quantum optics experiments, in particular as a digital feedback controller for analog systems. Based on the open source software provided by the board manufacturer, PyRPL (Python RedPitaya Lockbox) implements many devices that are needed for optics experiments with the Red Pitaya. PyRPL implements various digital signal processing (DSP) modules (see features below). It allows... -
16
PiTherm
A CPU Temperature display for Raspberry Pi
Read the temperature, display it on this neat little 10-LED muticolor array. The array has, in order, BGGGGYYYRR LEDs. This first version is a trivial program that scans the CPU temp and uses 10 GPIO pins, one for each LED. -
17
owfs and owhttpd
Project moved to https://github.com/owfs/owfs/
Please note that OWFS source code, and all Issue/Tickets/merge requests have now been moved to https://github.com/owfs/owfs/. Developer mailing lists will still be kept at Sourceforge. ---- OWFS -- 1-Wire file system. Use the Dallas 1-Wire and iButton chips with standard filesystem commands. Create temperature loggers. Monitor everything. OWHTTPD -- same system, only used as a light weight web server. OWFS is also ported to embedded routers, Mac OSX and Windows. Basically you can use these inexpensive little sensors and other chips with very simple wiring to sense and control the physical environment. ... -
18
FastVersion
FastVersion is a Qgis plugin for data versioning in a Postgis database
...It allows to create, changes and eliminate versions, and within each version , to insert, modify and eliminate elements. It is possible carry out the processes of “post” from one version to another, with conflict resolution functionality. The system uses algorithms and data structures so that information is not duplicated each time a version is created. We recommend downloading it from the Qgis app. Plugins->Manage and Install Plugins->Settings->Show also experimental plugins Plugins->Manage and Install Plugins->Search FastVersion If downloaded from sourceforge, it must be unzipped in \.qgis2\python\plugins -
19
AirTSP
Simulated Airline Travel Solution Provider Library
...AirTSP/AirTSP is the one of the components of the Travel Market Simulator (http://www.travel-market-simulator). However, it may be used in a stand-alone mode. -
20
Condor GUI
GUI for managing and working with one or more HTCondor pools.
Condor GUI is a tool for managing and working with one or more HTCondor pools. It was developed at the Otto von Guericke University Magdeburg, Germany, to support the daily work using HTCondor. Version History: Version 0.9.3: - QDarkStyleSheet is an optional package now Version 0.9.2: - New layout of job file editor - Keyword arguments in job file editor - Linux compatibility -
21
YoMo
You Only Meter Once - The open hardware smart metering system
...This device offers interfaces to control the smart meters. On top of the software runs a apache webserver that provides all estimated data on our yomo project homepage. The system does not need any maintenance and works out of the box after the devices were integrated into the households Wi-Fi network. Link to the scientific paper: http://link.springer.com/article/10.1007%2Fs00450-014-0290-8#/page-1 -
22
COFILOS
A Development Framework for Coldfire
Contains a framework for Coldfire MCUs like 52254. The framework supports a Command Line Interface (CLI) that may work from Serial port, USB or ENET. The framework uses Processor Expert and IDE requirement is MCU Eclipse 10.4 from Freescale. Includes the FunkOS Realtime Operating System by Funkenstein Software Consulting, available at http://funkos.sourceforge.net Mainly it is a support package for the development board Perseus, but I have ported also the RTOS to MCF52233DEMO... -
23
ExSTraCS
Extended Supervised Tracking and Classifying System
This advanced machine learning algorithm is a Michigan-style learning classifier system (LCS) developed to specialize in classification, prediction, data mining, and knowledge discovery tasks. Michigan-style LCS algorithms constitute a unique class of algorithms that distribute learned patterns over a collaborative population of of individually interpretable IF:THEN rules, allowing them to flexibly and effectively describe complex and diverse problem spaces. -
24
HYBRYD
Library written in C with Python API for IPv6 networking
This project is a rewritten of an initial project that I've called GLUE and created in 2005. I'm trying to readapt it for Python 2.7.3 and GCC 4.6.3 The library has to be build as a simple Python extension using >python setup.py install and allows to create different kind of servers, clients or hybryds (clients-servers) over (TCP/UDP) using the Ipv6 Protocol. The architecture of the code is based on brain architecture. Will put an IPv6 adress active available as soon as... -
25
GASiC
Genome Abundance Similarity Correction
One goal of sequencing based metagenomic analysis is the quantitative taxonomic assessment of microbial community compositions. However, the majority of approaches either quantify at low resolution (e.g. at phylum level) or have severe problems discerning highly similar species. Yet, accurate quantification on species level is desirable in applications such as metagenomic diagnostics or community comparison. GASiC is a method to correct read alignment results for the ambiguities imposed by...
