Search Results for "parallel-sudoku-solver" - Page 31
Sort By:
Showing 1527 open source projects for "parallel-sudoku-solver"
View related business solutions-
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.
-
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
AcouSTO (Acoustic Simulation TOol) is a low-order BEM code to solve the Kirchhoff Integral Equation. An arbitrary number of scattering/radiating bodies, monopoles, and plane waves is allowed. Runs in parallel on MPI2-equipped clusters.
-
2
Rocketeer
Send your projects up in the clouds
...While it is coded in PHP, it can deploy any project from small HTML/CSS websites to large Rails applications. Versatile, support for multiple connections, multiserver connections, multiple stages per server, etc. Fast, queue tasks and run them in parallel across all your servers and stages. Modulable, not only can you add custom tasks and components, every core part of Rocketeer can be hot swapped, extended, hacked to bits, etc. Preconfigured, tired of defining the same routines again and again ? Rocketeer is made for modern development and comes with smart defaults and built-in tasks such as installing your application's dependencies. -
3
JavaMutex
Provides 100% pure Java mutual exclusion.
Freely redistributable open source 100% pure Java for mutual exclusion. Read-write and read-only reentrant lock, condition variable, atomic wraps for Boolean, Integer, Long, and Reference. Cell pool with optional locking, object exchanger, Intersect. -
4
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.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
5
Coffee-Physics
A simple, lightweight physics engine written in CoffeeScript
...Because it is lightweight, it integrates easily with 2D renderers like Canvas or WebGL, and it is popular in generative art sketches and interactive experiments. The codebase emphasizes readability and hackability so learners can modify the solver, add new behaviors, or swap integrators without wading through engine internals. It’s ideal when you want expressive motion and playful dynamics rather than full rigid-body simulation. -
6
Xn
A parallel, nodal language protocol
Xn project tries to develop a three-in-one 'language'. Xn is capable of almost all kinds of data storage, communication, even executable scripts. Applicable cases are therefore very general. Take a larger imaginable one as example, an AI-network (even alive) can't be far away. But all the important thing is that Xn is itself simple. Most usecases, not so ambitious, various average programming tasks or tools can use Xn to shorten their development time. 蘄天元計劃(Xn project,... -
7
QuickRNASeq
A pipeline for large scale RNA-seq data analysis
We have implemented QuickRNASeq, an open-source based pipeline for large scale RNA-seq data analysis. QuickRNASeq takes advantage of parallel computing resources, a careful selection of previously published algorithms for RNA-seq read mapping, counting and quality control, and a three-stage strategy to build a fully automated workflow. We also implemented built-in functionalities to detect sample swapping or mislabeling in large-scale RNA-seq studies. Our pipeline significantly lifts large-scale RNA-seq data analysis to the next level of automation and visualization. ... -
8
-
9
ProgramNet Designer
C++ cross plattform functional block programming
With the help of the ProgramNet the user can develop plug-ins(called units) which can be connected with other units forming a net. The net has a form of a flow diagram. The resulted net can be executed in the ProgramNet for testing purposes or independently in the target platform as a final release. In order to execute a net the ProgramNet uses the kernel. The kernel executes automatically each unit in a separate thread and manages the data exchange between the units. -
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.
-
10
CQU
Decision solver for Counting Quantifiers over Unary Predicates
---------------- cqusat 1.0 ---------------- cqusat is a conbstraint solver decides the satisfiability of a set of sentences containing Counting Quantifiers over Unary predicates. It also accepts Universally quantifies sentences over unary predicates, which are presented in the form of propositional clauses (classical Boolean logic clauses). This implementation employs minisat as the SAT solver. -
11
Parallec
Fast Parallel Async HTTP/SSH/TCP/UDP/Ping Client Java Library
Fast parallel async HTTP/SSH/TCP/UDP/Ping client java library on Akka. Aggregate 100,000 APIs & send results anywhere in 20 lines of code. View production use cases. Ping or HTTP calls 8000 servers with responses aggregated in 12 seconds. Parallec means Parallel Client (pronounced as "para-like"). Open Source from eBay Cloud. A convenient response context passes any object you need when handling a response. -
12
The Software Testing Automation Framework (STAF) is a framework designed to improve the level of reuse and automation in test cases and test environments. The goal of STAF is to provide a complete end-to-end automation solution for testers.
-
13
Soduku-Solver
Soduku Solver solves 6x6 soduku of easy and medium level.
Soduku solver V 1.0 is Open Source project which solves the 6x6 Soduku problem of easy and medium level. It is a Open Source project which is available in github repository and this project welcome each contributor which helps to make this project better. Keywords : soduku solver , solve the soduku , soduku 6*6 , soduku 6x6 , solve my soduku problem , amazing software , artificial intelligence , best software , top software -
14
Ulambator
boundary element based flow solver for microfluidics
Ulambator solves the depth-averaged Stokes equations using a boundary element method. The combination of both reduces the discretization effort from 3D to 1D. Hence the flow solver is well adapted to free interface flows in shallow geometries. The manual and tutorial codes are still being extended. New functions will be made available. For more user information please check http://lfmi.epfl.ch/ulambator -
15
condensed matter laboratory
Application for quantum simulation and statistical properties
...The CML is a cross-platform application with a graphical user interface design that is user-friendly and easy to work with. This application is written in c++ and Fortran and has parallel processing ability. -
16
PyCNN
Image Processing with Cellular Neural Networks in Python
Image Processing with Cellular Neural Networks in Python. Cellular Neural Networks (CNN) are a parallel computing paradigm that was first proposed in 1988. Cellular neural networks are similar to neural networks, with the difference that communication is allowed only between neighboring units. Image Processing is one of its applications. CNN processors were designed to perform image processing; specifically, the original application of CNN processors was to perform real-time ultra-high frame-rate (>10,000 frame/s) processing unachievable by digital processors. -
17
TILP - TI Linking Program
TI graphing calculators <-> computer communication software
TILP (formerly GtkTiLink) can transfer data between Texas Instruments graphing calculators and a computer. It works with all link cables (parallel, serial, Black/Gray/Silver/Direct Link) and it supports the TI-Z80 series (73..86), the TI-eZ80 series (83PCE, 84+CE), the TI-68k series (89, 92, 92+, V200, 89T) and the Nspire series (Nspire Clickpad / Touchpad / CX, both CAS and non-CAS). The project is now managed on Github, https://github.com/debrouxl/tilp_and_gfm . It uses the libti* libraries, https://github.com/debrouxl/tilibs . ... -
18
Explicit/Impicit Finite Element Program with linear/nonlinear, elastic/hyperelastic/hypoelastic/plastic/visco, contact,thermal, fluid capabilities. h/p refinements. Parallel/Distributed solvers available. No shell elements but has 2D beams, trusses.
-
19
Advanced Simulation Library
Free multiphysics simulation software package
...Its computational engine is based, among others, on the Lattice Boltzmann Methods (http://en.wikipedia.org/wiki/Lattice_Boltzmann_methods) and is written in OpenCL (http://en.wikipedia.org/wiki/OpenCL) which enable extraordinarily efficient deployment (http://asl.org.il/benchmarks) on a variety of massively parallel architectures, ranging from inexpensive FPGAs, DSPs and GPUs up to heterogeneous clusters and supercomputers. The engine is hidden entirely behind C++ classes, so that no OpenCL knowledge is required from application programmers. ASL can be utilized to model various coupled physical and chemical phenomena and employed in a multitude of fields: computational fluid dynamics, virtual sensing, industrial process data validation and reconciliation, image-guided surgery, computer-aided engineering, high-performance scientific computing, etc.. -
20
cupSODA
Deterministic simulator of mass-action based models
cupSODA is a simulator of biological systems that exploits the remarkable memory bandwidth and computational capability of GPUs. cupSODA allows to efficiently execute in parallel large numbers of simulations, which are usually required to investigate the emergent dynamics of a given biological system under different conditions. cupSODA works by automatically deriving the system of ordinary differential equations from a reaction-based mechanistic model, defined according to the mass-action kinetics, and then exploiting the numerical integration algorithm, LSODA -
21
Nigma
A CDCL SAT solver with partial backtracking
-
22
PhyloPart
automated partition of phylogenetic trees
Understanding the determinants of virus transmission is a fundamental step for effective design of screening and intervention strategies to control viral epidemics. Phylogenetic analysis can be a valid approach for the identification of transmission chains, and very-large data sets can be analysed through parallel computation. Here we propose and validate a new methodology for the partition of large-scale phylogenies and the inference of transmission clusters. This approach, on the basis of a depth-first search algorithm, conjugates the evaluation of node reliability, tree topology and patristic distance analysis. -
23
Janet Sudoku
Janet Sudoku - Java Android .NET Sudoku Generator & Solver library
Janet Sudoku - Java Android .NET Sudoku Generator & Solver library -
24
Schnek
A C++ library for developing parallel simulations on Cartesian grids
NOTICE: The current version of Schnek is hosted on GitHub https://github.com/holgerschmitz/Schnek This repository on Sourceforge is no longer maintained! Schnek is a library for the fast development of parallel simulation codes using multidimensional arrays. It is designed to work both on single processor and massively parallel architectures. The library is intended mainly for use in physics simulations on regular grids but some of its features might be useful for other types of simulation codes. Features include - setup file reader with C style syntax - extendable for formulas in setup files - hierarchical structure of simulation components - mutli-dimensional grids - initialisation of grid from formulas in setup file - boundary cells and ghost cells - MPI support for parallelisation - MPI update of ghost cells to neighbouring processes - easy to use parallel and serial HDF5 output of grids -
25
P3BSseq
Parallel processing pipeline for analysis of bisulfite sequencing data
...Though some BSseq processing tools are available, they are scattered, require puzzling parameters and are running-time and memory-usage demanding. We have developed P3BSseq, a parallel processing pipeline for fast, accurate and automatic analysis of BSseq reads that trims, aligns, annotates, records the intermediate results, performs bisulfite conversion quality assessment, generates BED methylome and report files following the NIH standards. P3BSseq outperforms the known BSseq mappers regarding running time, computer hardware requirements. ...
