Search Results for "research" - Page 10
Sort By:
Showing 2882 open source projects for "research"
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.
-
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
Disposition
Program to generate permutations and combinations
C Library designed to generate in sequence permutations or combinations (possible orderings or subsets) of objects, with or without repetition. To demonstrate the use of the library, a command-line program (disp) and a GTK graphical version (GDisp) are provided too, useful to teach combinatorics. -
2
Vector Pascal is a language targeted at SIMD multi-core instruction-sets such as the AVX and SSE2 or x86-64-v3. It has a SIMD compiler which supports parallel vector operations, loop unrolling, common sub expression removal etc. It is implemented in Java.
-
3
This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
-
4
ALCHA
A New Programming Language for FPGA Projects
ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting. -
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
5
TANGO is an object oriented control system for Linux and Windows. It provides a framework in C++, Java and Python for implementing distributed control objects an accessing them via a well-defined API. This sourceforge project a
-
6
Ahp Software Created by : Mohamed Ali Khaskia Egypt - 2016 AHP Khaskia official version is a professional AHP AHP software. AHP Khaskia official version is powerful, convenient and easy to use. It supports the solution of AHP problems in decision-making and operational research, and automatically processes calculation results for you 1. AHP Khaskia has less analysis functions, so the operation is simple 2. A variety of decision analysis modes can be established in the first interface 3. Analysis can be performed on different targets in the calculation interface 4. It also supports the analysis of different criteria 5. ...
-
7
STLplus C++ library collection
C++ Library collection
Containers to extend STL: graph, tree, matrix, smart-pointer. Persistence (serialisation) of C++ data structures. Portability: subprocesses, TCP, file system. Reusable subsystems: library manager, message handler. Portable between OSs and compilers. Documentation is included in the download and is also available on the STLplus website http://stlplus.sourceforge.net. The headers are intended to be readable, so look at them too for usage information on each function and class. -
8
zkPetoron-Core
PH2-based zero-knowledge proof and attestation core in C++20
zkPetoron-Core is a standalone zero-knowledge proof and attestation core implemented in modern C++20. Built on PetoronHash2 (PH2), the project provides a complete proof pipeline including transcript generation, commitments, Merkle structures, AIR validation, FRI verification, proof artifacts, statements, bundles and attestations. Components: • Transcript Layer • Commitment Layer • Merkle Layer • AIR Validation • FRI Verification • Prover / Verifier Pipeline • Vault Runtime •... -
9
PetoronHash2
PH2 Permutation-based cryptographic post-quantum hash library with duplex construction (C++20)
PetoronHash2 (PH2) is a standalone ARX-based sponge construction that combines: A 4096-bit internal permutation core A sponge/duplex architecture with explicit capacity separation An extendable-output function (XOF) Memory-hard (HARD) and burn (BURN) modes A structured tagged absorb scheme A parameterized architecture suitable for hashing, KDF, and stress-oriented derivation PH2 is designed as a wide-state cryptographic primitive with explicit domain separation and configurable output... -
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
10
stkpp
C++ Statistical ToolKit
STK++ (http://www.stkpp.org) is a versatile, fast, reliable and elegant collection of C++ classes for statistics, clustering, linear algebra, arrays (with an Eigen-like API), regression, dimension reduction, etc. Some functionalities provided by the library are available in the R environment as R functions (http://cran.at.r-project.org/web/packages/rtkore/index.html). At a convenience, we propose the source packages on sourceforge. The library offers a dense set of (mostly) template... -
11
TRAK UML Profile
Implementation of TRAK enterprise architecture framework as UML profil
UML (TRAK) and SysML (TRAK_SYSML) profiles for the TRAK open source architecture framework that provides the objects and relationships needed for implementation of TRAK in a UML enterprise architecture modelling tool. TRAK is a general systems enterprise architecture framework based on MODAF. -
12
EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
-
13
DistroHopper
Quickly download, create and run VM of any#TODO operating system.
DistroHopper Quickly download, create and run VM of any#TODO operating system. Licensed under AGPL3 Still Testing version! quickly create and run VMs As a base excellent quickemu you can download new distro with few clicks of a mouse ## GUI using yad or command line?... ## TUI using fzf ## .Desktop file generator It will simple generate .desktop files for every supported and downloaded VM in quickemu. So you can copy it anywhere.. -
14
CpDB
Relational database schema and tools for bacterial genome annotation
This software allows us to create a relational database in PostgreSQL hosting full bacterial genomes. Besides the database, there is software, like a parser, to convert EMBL or GBK files to the CpDB relational schema. Once in the CpDB, one can extract unlimited reports from bacterial genomes using SQL. This software is part of the Ph.D. in Bioinformatics from Anderson Santos (https://orcid.org/0000-0003-3418-0823) developed under the Corynebacterium pseudotuberculosis (Cp) pangenome project.... -
15
wxArt2D gives wxWindows applications sophisticated vector drawing functionality. It is based on a framework supporting multiple views within a hierarchical document. Supports drawing & (Graph) editing. In-output in SVG, GDSII, XML, easy to extend.
-
16
Biosphere3D
Interactive landscape rendering based on a virtual globe.
Biosphere3D targets interactive landscape rendering based on a virtual globe. It supports DEM, satellite and aerial images, 3D models (Collada), 3D plant models, and Shapefiles. Biosphere3D was initially developed by the landscape visualization group of the Zuse Institute Berlin by Malte Clasen and is now developed further by Lenné3D GmbH. For more information about the used concepts have a look at the thesis of Malte Clasen: Towards Interactive Landscape Visualization Doctoral... -
17
pineTERM: Free In-Browser UART Terminal
Easy-to-use, powerful web/browser UART terminal, no installation req.
A modern, stand alone browser-based serial terminal for UART communication with microcontrollers, embedded devices, and IoT hardware. No installation required - just open in your browser and connect to your serial device. Just unpack the zip file into local folder and open index.html in Chrome/Edge/Opera. Works on Windows/Linux/MaOS -
18
Fuzzy sets for Ada
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of... -
19
PetoronHash-System
PHASH | post-quantum XOF hashing algorithm | C++20
PHASH is a self-contained, dependency-free, post-quantum XOF hashing algorithm implemented in modern C++20. This release delivers the first fully stable production implementation of the PetoronHash-System — a 1600-bit sponge-based hash function with domain separation, extendable output, and deterministic behavior. Key Features No external dependencies — pure C++20 implementation. Extendable Output (XOF) — supports arbitrary output length (256–8192+ bits). Post-quantum oriented design... -
20
JMEScriptGUI
Pequeño IDE para el lenguaje JMEScript.
Con este IDE podrá probar cualquier script escrito en JMEScript con toda la funcionalidad del lenguaje, incluidos gráficos 2D y conexión MySQL. La versión para Android, en este momento, tiene menos funcionalidad y ejecuta la versión 0.1 de JMEScript. Parser JME y lenguaje JMEScript en https://sourceforge.net/projects/jme/ Documentación en https://morenobarrientos-jme.site44.com/ Código fuente y UDL para Notepad++ en pestaña 'FILES' -
21
JSchemePlus
An hack of Jscheme with a lot of enhancements and additional features.
JSchemePlus is an hack of Jscheme 1.4 by Peter Norvig. It allows to redistribute a script in an executable JAR file of only ~40K and implements all of R4RS with a lot of additional functions, like: (execute command) (random) (sequence from up-to step) (split list element) (string-split string sub-string) (read-all-from-file file) (write-to-file file data) (file-size file) etc... For the complete list read the HELP file or type (help). JSchemePlus needs only the Java Virtual Machine (version... -
22
Unicoder
A Portable Wide-Character Terminal Output Package for C and C++
Unicoder is a single header file that you add to your C or C++ projects which allows you to easily display unicode characters in the Terminal display irregardless of what compiler you are using. That is, it was written so that it would be portable so you can change platforms or compilers with ease. Currently it can be used on either the Windows or Linux platforms. Also, Unicoder can insert compiler specific commands that perform useful task such as clearing the console display or turn... -
23
gendasm
Generic Code-Seeking Diassembler with Fuzzy-Function Analyzer
GenDasm is a Generic Code-Seeking Diassembler engine. It allows you to enter known starting vectors for a given code image for the micro. It will disassemble the code and follow through branches to assist in the separation of code and data. Its included Fuzzy Function Analyzer companion uses a DNA Sequence Alignment Algorithm to locate similar code in multiple binaries to facilitate reverse-engineering and/or code recovery. The original purpose of the Fuzzy Function Analyzer was to... -
24
Optimizer_sovkov
Constructing and optimizing general mathematical and physical models
We present the package Optimizer, aimed at constructing and optimizing general mathematical models of phenomena of versatile nature. It is written in the Matlab algorithmic language and is executed in the Matlab environment with partial functionality in Octave. The convenient visual interface and the detailed manuals are provided. The main benefit of the package is its capability to construct models of any level of complexity in a block-by-block manner. Elementary model blocks can be... -
25
Temporal Inference Engine
A real time inference engine for temporal logical specifications
A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this...
