Search Results for "parallel-sudoku-solver" - Page 26
Sort By:
Showing 1527 open source projects for "parallel-sudoku-solver"
View related business solutions-
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.
-
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.
-
1
JavaSeis.org: Java based software for processing and storing petroleum industry seismic data.
-
2
Idris-dev
A Dependently Typed Functional Programming Language
Idris‑dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-safe programs and proofs within the language itself. It compiles to C and JavaScript (for Node.js and browsers), and supports code generation via substitute backends. This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. For those who wish to use a more stable... -
3
SudokuSolver
C# Sudoku solver that uses human techniques; no brute-forcing.
-
4
SINGA
A distributed deep learning platform
Apache SINGA is an Apache Top Level Project, focusing on distributed training of deep learning and machine learning models. Various example deep learning models are provided in SINGA repo on Github and on Google Colab. SINGA supports data parallel training across multiple GPUs (on a single node or across different nodes). SINGA supports various popular optimizers including stochastic gradient descent with momentum, Adam, RMSProp, and AdaGrad, etc. SINGA records the computation graph and applies the backward propagation automatically after forward propagation. The optimization of memory are implemented in the Device class. ... -
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
Jack LIRE (Linked Record)
Quantum universal object system with referencing and genetics
Jack LIRE (Linked Record) is a quantum database-backed life-long text record diary with referencing (linking) between records, and a data library for life-long keeping of files such as documents, photographs, music and more. The diary records are fully searchable. Files can be mentioned in diary records to preserve memories, document knowledge and ideas, and more. Massive numbers of diary records and files can be permanently kept. A database located on one computer can be accessed from... -
6
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
7
Cubature.jl
One- and multi-dimensional adaptive integration routines for Julia
This module provides one- and multi-dimensional adaptive integration routines for the Julia language, including support for vector-valued integrands and facilitation of parallel evaluation of integrands, based on the Cubature Package by Steven G. Johnson. Adaptive integration works by evaluating the integrand at more and more points until the integrand converges to a specified tolerance (with the error estimated by comparing integral estimates with different numbers of points). The Cubature module implements two schemes for this adaptation: h-adaptivity (routines hquadrature, hcubature, hquadrature_v, and hcubature_v) and p-adaptivity (routines pquadrature, pcubature, pquadrature_v, and pcubature_v). ... -
8
Rocstar Multiphysics Application
Parallel coupled multiphysics simulation application
...Rocstar couples multiple domain-specific simulation packages and disparately discretized domains and provides several simulation-supporting services including conservative and accurate data transfer, surface propagation, and parallel I/O. Rocstar is MPI parallel and routinely executes large simulations on massively parallel platforms. Rocstar was originally developed at the University of Illinois Center for Simulation of Advanced Rockets (CSAR) under Department of Energy ASCI funding. Ongoing development of Rocstar is conducted by Illinois Rocstar LLC with company IR&D and continued DOE SBIR funding. -
9
The latest ESMF development is happening in GitHub: https://github.com/esmf-org/esmf https://earthsystemmodeling.org The Earth System Modeling Framework provides high-performance software infrastructure and superstructure for the construction and coupling of climate, weather, and data assimilation applications.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
10
prestissimo
Composer parallel install plugin
This is a composer 1.x plugin that downloads packages in parallel to speed up the installation process. This plugin is for Composer1; Composer2 is very fast on its own. Recognize composer's options. You don't need to set any special configuration. To avoid Composer asking for authentication it is recommended to follow the procedure on composer's authentication. For github.com you could also use an auth.json file with an oauth access token placed on the the same level as your composer.json file. -
11
Weld
High-performance runtime for data analytics applications
...Instead of optimizing individual functions independently, Weld introduces an intermediate representation that allows different frameworks to share optimization opportunities. This approach reduces data movement between libraries and enables the system to generate highly optimized machine code for parallel execution. Weld is particularly useful for workloads involving large-scale data processing in frameworks such as NumPy, Spark, and TensorFlow. The language includes built-in constructs for expressing data-parallel operations, enabling efficient execution on modern hardware architectures. By combining operations from multiple libraries into a single optimized execution plan, Weld can significantly improve performance in analytics and machine learning pipelines. -
12
JNIZ music notation audio to midi
music composition and notation software, audio to midi converter
The Jniz project is stopped. The new Web version is now JnizWeb hosted on Gitlab (under construction): https://gitlab.com/jniz70/jnizweb/ Demo: https://jniz70.gitlab.io/jnizweb/ Jniz is a piece of software designed for musicians as a support tool to the musical composition. It allows you to build and to harmonize several voices according to the rules of classical harmony. Sound/audio-to-Midi converter: real-time conversion of any monophonic sound (voice, instrument etc.) into... -
13
F3DM
Finite Element Method on 3D Meshes
...The minimization is parallelized with OpenMP. Three main features in unstable 1.8.x version (available via GIT): quadratic elements, periodic boundary conditions, and the solver for scalar and electromagnetic wave equations. f3dmgeom is a collection of a few simple tools for creating surface meshes for tetgen. It can handle simple geometries only. -
14
...With this both the DOSBox shell commands and many native LFN-aware DOS programs should now be able to use LFN in DOSBox, and users can also use the right mouse button to select, copy and paste text from and to DOSBox (when the mouse is not locked). It also includes features such as an improved command shell, automatic drive mounting, APM power off, direct parallel port passthrough used for printing, DOS APIs that communicate with the Windows clipboard, and DBCS support for displaying CJK (East Asian) characters. It is cross-platform with source code, and Windows binaries are provided. Note: Support for LFN and other features have been merged into DOSBox-X as of 2020, along with further improvements. ...
-
15
ResNeXt
Implementation of a classification framework
ResNeXt is a deep neural network architecture for image classification built on the idea of aggregated residual transformations. Instead of simply increasing depth or width, ResNeXt introduces a new dimension called cardinality, which refers to the number of parallel transformation paths (i.e. the number of “branches”) that are aggregated together. Each branch is a small transformation (e.g. bottleneck block) and their outputs are summed—this enables richer representation without excessive parameter blowup. The design is modular and homogeneous, making it relatively easy to scale (by tuning cardinality, width, depth) and adopt in existing residual frameworks. ... -
16
Happy Java Library
Multilock, Collections, Controllers, Delegates, Generators, Streams
Helps to develop and test event-based multi-threaded Java application. Because of method called as API-Evolution the Happy Java Library is fully downward compatible. The library contains following functionality: MultiLock, Parallel loops, Collections, Controllers, Generators, Delegates, Streams. -
17
The TRANSIMS Studio application is an integrated development environment for the TRansportation ANalysis and SIMulation System (TRANSIMS). Components include a run time environment to execute TRANSIMS in parallel, as well as a full featured GUI.
-
18
Xctool
An extension for Apple's xcodebuild that makes it easier to test iOS
xctool is an archived build tool developed by Facebook for running Xcode builds and tests from the command line. It aimed to provide better output formatting, faster test execution, and improved integration with CI systems. Although deprecated, it was widely used before xcodebuild matured with similar functionality. -
19
RecNN
Reinforced Recommendation toolkit built around pytorch 1.7
This is my school project. It focuses on Reinforcement Learning for personalized news recommendation. The main distinction is that it tries to solve online off-policy learning with dynamically generated item embeddings. I want to create a library with SOTA algorithms for reinforcement learning recommendation, providing the level of abstraction you like. -
20
DSPatch
The Refreshingly Simple C++ Dataflow Framework
Webite: http://flowbasedprogramming.com DSPatch, pronounced "dispatch", is a powerful C++ dataflow framework. DSPatch is not limited to any particular domain or data type, from reactive programming to stream processing, DSPatch's generic, object-oriented API allows you to create virtually any dataflow system imaginable. *See also:* DSPatcher ( https://github.com/MarcusTomlinson/DSPatcher ): A cross-platform graphical tool for building DSPatch circuits. DSPatchables (... -
21
coarrays
A free Fortran 2008, 2018 coarrays course with notes and exercises
Coarrays are native Fortran means for SPMD parallel programming. At runtime multiple copies of the executable (called images) are executing asynchronously. The F2008 standard provides coarray syntax, remote calls, coarray data objects, allocatable coarrays, syncronisation, atomics, etc. F2018 adds new functionality, e.g. collectives, teams, events, more atomics. Coarrays are used extensively in CASUP library for HPC (https://cgpack.sourceforge.io). -
22
Microjob
Turn Node.js worker threads into easy-to-use routines
A lightweight Node.js library for running CPU-bound tasks in worker threads, enabling better parallel execution. -
23
Just-API
Test REST, GraphQL APIs
...Runs test suites in parallel/serial mode. Supports all widely used HTTP methods. Supports x-www-form-urlencoded requests, Multipart requests, File uploads. Built-in Response Validation Constructs(Headers, Cookies, Status code, JSON body, JSON schema) Custom Response validator functions. Supports running custom inline or module javascript sync/async functions. -
24
YouTubeCrawler
Go-based automation utility that downloads YouTube videos
This tool is a Go-based automation utility that downloads YouTube videos and permanently embeds or “hard-codes” their subtitles (typically English) into MP4 output files. The workflow involves specifying one or more URLs (via a simple “url” text file in each folder) and the program uses youtube-dl to fetch video and subtitle, then ffmpeg to overlay the subtitles onto the video track. The architecture follows a command-pattern setup: tasks implement a common interface and are scheduled and... -
25
SONNET
SONNET (integer) linear optimisation in .NET
...SONNET consists of two parts: 1) A .NET library that consists of .NET wrapper classes around existing COIN classes such as OsiSolverInterface. 2) A .NET library implemented in C# that adds a powerful (rudimentary) modelling API with classes like Model, Constraint, Variable, Expression, etc, and overloaded operators to allow for things like Model model = new Model(); Variable x = new Variable(); Variable y = new Variable(); model.Add(2 * x + 3 * y <= 10); model.Objective = 3 * x + y; Solver solver = new Solver(model, typeof(OsiClpSolverInterface)); solver.Maximize(); Console.WriteLine(solver.ToSolutionString());
