Search Results for "parallel language"
Sort By:
Showing 26 open source projects for "parallel language"
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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. 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... -
2
Octave Forge
A collection of packages providing extra functionality for GNU Octave
Octave Forge is a central location for collaborative development of packages for GNU Octave. The Octave Forge packages expand Octave's core functionality by providing field specific features via Octave's package system. See https://octave.sourceforge.io/packages.php for a list of all available packages. GNU Octave is a high-level interpreted language, primarily intended for numerical computations. It provides capabilities for the numerical solution of linear and nonlinear problems, and... -
3
Optimizer_sovkov
Constructing and optimizing general mathematical and physical models
...Currently, the main focus of these is computational quantum mechanics, analysis and simulation of molecular spectra, and general-purpose approximants. The package provides the most reliable modern strategies for linear and non-linear model optimization, regularization, and hypothesis tests. Parallel computing is supported. -
4
DEVS-Suite Simulator
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Integrated component-based and cellular automata (CA) Parallel DEVS simulator. Version: 8.0 [Jul `26], 7.0 [Jan `23], 6.1 [Apr. `21], 6 [Sep. `20] , 5 [Jul. `19], 4 [Mar. `18], 3 [Apr. `15], 2.1 [Feb. `09], 2 [`03] See PVM: Visual Persistent Hierarchical Component-based Modeler (https://acims.asu.edu/persistent-visual-modeler/ ) and CoSMoSim: hierarchical visual modeling, database model repository, families of models, statecharts, partial-code generation for XML/DEVS-Suite models... -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
PPface
PPface is vector processor emulator / simulator
PPface is vector processor emulator / simulator (SIMD array processor with 1-bit processing elements). VEPRAN language used to design parallel algorithms and operate data slices. The system allows to visualize algorithm work by viewing vector memory and registers, it supports debugging and animated program execution. To run this app on 64-bit system please install Windows Virtual PC and Windows XP Mode. -
6
UnsupervisedMT
Phrase-Based & Neural Unsupervised Machine Translation
...The project also provides scripts to fetch and preprocess monolingual data, learn BPE codes, and train cross-lingual embeddings that bootstrap unsupervised alignment between languages. Beyond the core EMNLP 2018 setup, the codebase exposes additional, optional capabilities such as multi-language training, language model pretraining with shared parameters, and adversarial training. -
7
popt4jlib
Parallel Optimization Library for Java
popt4jlib is an open-source parallel optimization library for the Java programming language supporting both shared memory and distributed message passing models. Implements a number of meta-heuristic algorithms for Non-Linear Programming, including Genetic Algorithms, Differential Evolution, Evolutionary Algorithms, Simulated Annealing, Particle Swarm Optimization, Firefly Algorithm, Monte-Carlo Search, Local Search algorithms, Gradient-Descent-based algorithms, as well as some well-known network flow and other graph algorithms. ... -
8
SPar: Stream Parallelism in Multi-Cores
An Embedded C++ Domain-Specific Language
SPar is an internal C++ Domain-Specific Language (DSL) suitable to model and implement classical stream parallel patterns. The DSL uses standard C++ attributes to introduce annotations tagging the notable components of stream parallel applications: stream sources and stream processing stages. Latest version can be downloaded from the SVN using the following command: svn checkout svn://svn.code.sf.net/p/spar-dsl-compiler/svn/ spar -
9
Chapel
a Productive Parallel Programming Language
Chapel is an emerging parallel programming language whose design and development are being led by HPE in collaboration with academia, computing labs, and industry. Chapel's goal is to improve the productivity of parallel programmers, from laptops to supercomputers. **Please note that Chapel development has moved to GitHub** -
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.
-
10
PADIC
A multilingual Parallel Arabic DIalectal Corpus
PADIC (Parallel Arabic DIalectal Corpus) is a multi-dialectal corpus built in the framework of the National Research Project "TORJMAN", led by Scientific and Technical Research Center for the Development of Arabic Language and funded by the Algerian Ministry of Higher Education and Scientific Research. PADIC is composed of 6 dialects: two Algerian dialects (Algiers and Annaba cities), Palestinian, Syrian, Tunisian, Moroccan) and MSA. -
11
Grid-based Coupled Electron and Electromagnetic field Dynamics (GCEED) is an open-source software package for massively parallel first-principles calculations of electron dynamics in real time and real space. The program codes are written in the Fortran 90/95 language with MPI and OpenMP. Time dependent density functional theory (TD-DFT) calculations can be performed on 100,000 CPU cores of K Computer with high parallel efficiency.
-
12
PRADA
PRADA : Pipeline for RNA-Sequencing Data Analysis
Massively parallel sequencing of cDNA reverse transcribed from RNA (RNASeq) provides an accurate estimate of the quantity and composition of mRNAs. To characterize the transcriptome through the analysis of RNA-seq data, we developed PRADA. PRADA focuses on the processing and analysis of gene expression estimates, supervised and unsupervised gene fusion identification, and supervised intragenic deletion identification. PRADA currently supports 7 modules to process and identify... -
13
Hrothgar Parallel LM/MCMC Minimizer
A versatile MCMC and downhill optimization engine
Hrothgar is a parallel minimizer and Markov Chain Monte Carlo generator by Andisheh Mahdavi of San Francisco State University. It has been used to solve optimization problems in astrophysics (galaxy cluster mass profiles) as well as in experimental particle physics (hadronic tau decays). It is probably adaptable enough to be applied to your merit function if you can write it in C. -
14
CRFSharp
CRFSharp is a .NET(C#) implementation of Conditional Random Field
CRFSharp(aka CRF#) is a .NET(C#) implementation of Conditional Random Fields, an machine learning algorithm for learning from labeled sequences of examples. It is widely used in Natural Language Process (NLP) tasks, for example: word breaker, postagging, named entity recognized, query chunking and so on. CRF#'s mainly algorithm is the same as CRF++ written by Taku Kudo. It encodes model parameters by L-BFGS. Moreover, it has many significant improvement than CRF++, such as totally parallel encoding, optimizing memory usage and so on. ... -
15
Cca-forum unifies the Common Component Architecture tools and tutorial. It includes the CCA specifications, the Ccaffeine framework for HPC, and related tools. These support multilanguage scientific and parallel computing.
-
16
Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.
-
17
MORP (Module Orientated Robotic Programming) is a framework bringing base implementations in order to easily connect modules such as a NXT or Bioloid Robot. It provides its own scripting languages called 'morp' dedicated to robot programming.
-
18
Sanchay is a collection of tools and APIs for language researchers. It has some implementations of NLP algorithms, some flexible APIs, several user friendly annotation interfaces and Sanchay Query Language for language resources.
-
19
Brook is an ANSI C like general purpose stream programming language and is designed to incorporate the ideas of data parallel computing and arithmetic intensity into a familiar, efficient language. Has OpenMP CPU, OpenGL, DirectX 9 and AMD CTM backends.
-
20
ProteinFinder - a C language parallel computing engine for tandem protein mass spectrometry database search. ProteinFinder is interfaced with MySQL relational database MassSpec that hosts the experimental data, predicted databases, and search results.
-
21
Octave interface to the finite elements library Libmesh. Under the scientific interpreted language Octave, Octmesh allows using the Libmesh characteristics for the numerical simulation of partial differential equations on serial and parallel platforms.
-
22
An open source,platform independent,technical web programming language using MATLAB in background, that supports 3-Tier Architecture (Web-Business-DB) including Distributed Computing and Parallel Processing via remote procedure calls and web services.
-
23
Simple GTK2 application allowing users to manually toggle devices attached to a parallel port device on or off (through the D0->D8 data lines), or run an automatic sequence based on a simple language contained in this program. Good for driving relays, etc
-
24
OCW is a scripting language and interpreter for controlling complex operations of valves and pumps in microfluidic devices. The interpreter program uses parallel ports to interface with any automation project. The program runs on Linux and Windows.
-
25
LOOP (Language Object Oriented Parallel) is a visual programming language project dedicated to creating a full suite of components for simulation of hierarchical dynamical systems in discrete time.
