Search Results for "parallel-sudoku-solver"
Sort By:
92 programs for "parallel-sudoku-solver" with 1 filter applied:
-
Build enterprise-ready GenAI experiences with MongoDB AtlasMongoDB Atlas is a unified developer platform that enables you to confidently accelerate the deployment of GenAI-powered applications. Additionally, when purchased on Google Cloud Marketplace, you pay for only the resources you use with no upfront commitment.
-
Secure your business by securing your people.Take the guesswork out of password management, shadow IT, infrastructure, and secret sharing so you can keep your people safe and your business moving.
-
1
VirtualGL
3D Without Boundaries
VirtualGL redirects 3D commands from a Unix/Linux OpenGL application onto a server-side GPU and converts the rendered 3D images into a video stream with which remote clients can interact to view and control the 3D application in real time. -
2
Parallel executor
paexec distributes tasks over network or CPUs.
-
3
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
4
JobScheduler
JobScheduler workload automation to execute jobs and workflows
JS7 JobScheduler runs executables, scripts and database procedures and can be operated with e.g. MySQL, PostgreSQL, SQL Server, Oracle databases. JS7 JobScheduler provides workflow patterns such as sequential and parallel task execution, forking, synchronization, cross-platform scheduling, job load sharing, fail-over and a real REST API. JS7 includes the components: * JOC Cockpit (user interface for inventory management and control) * Controller (orchestration of Agents) * Agents... -
Our Free Plans just got better! | Auth0 by OktaYou 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 secuirty. Auth0 now, thank yourself later.
-
5
Minsky
System dynamics program with additional features for economics
Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at... -
6
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
7
xjobs
Command line tool to run batches of jobs in parallel.
xjobs has a command line interface similar to xargs to start processes, but runs processes in parallel and provides enhanced concepts for I/O redirection. -
8
Library for ion optics, plasma extraction and space charge dominated ion beam transport.
-
9
Sudoku game with numbers, letters or colors. Board size can be from 4 to 20 (default size is 9). You can play many variants - Killer, Greater Than, Consecutive, Odd/Even, Diagonal, Samurai and their combinations, too.
-
Multi-Tenant Analytics Software Built for Development TeamsQrvey saves engineering teams time and money with a turnkey solution connecting your data warehouse to your SaaS application.
-
10
Twice crosses-circles
Random crosses-circles (tic-tac-toe).
The game is played according to slightly modified rules. Since the advantage of the first move in tic-tac-toe is obvious, now it is necessary to draw up two adjacent (parallel anyway it will not work) rows. The computer needs to prevent this and make a regular series; at the same time, computer moves randomly, which is logical, since any meaningful move is guaranteed to deprive the chances of winning. -
11
Protocol tool
Hexadecimal strings test tool
This is a software/hardware development tool that allows the user to send strings on an interface (parallel,serial, network or other), specified in hexadecimal or strings or a combination of these. The strings can be retrieved/stored from/to a file. -
12
BMDFM
Binary Modular DataFlow Machine (BMDFM)
Binary Modular DataFlow Machine (BMDFM) is a software package that enables running an application in parallel on shared memory symmetric multiprocessing (SMP) computers using the multiple processors to speed up the execution of single applications. BMDFM automatically identifies and exploits parallelism due to the static and mainly dynamic scheduling of the dataflow instruction sequences derived from the formerly sequential program. The BMDFM dynamic scheduling subsystem performs a symmetric... -
13
CloudTest-Cloud java unit test framework
A redefined framework with new approach and methodology for unit test
CloudTest is a redefined unit testing approach and methodology, which can make your testing jobs become much more easy and efficient. It is a pure java lightweight framework integrated test cases management, test data management, assert management, automation regression, performance monitor and test report in one. -
14
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... -
15
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.
-
16
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
17
JNIZ music notation audio to midi
music composition and notation software, audio to midi converter
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 notes / tones. Jniz is a free proprietary piece of software. You do not have the right to sell, distribute Jniz or use its sources under penalty of law. You will infringes on the Jniz staff... -
18
NppGTags
GTags plugin for Notepad++
This Notepad++ plugin is simply a front-end to GTags (GNU Global source code tagging system): http://www.gnu.org/software/global/global.html It provides tools for easy code navigation. GTags binaries (Win32 ports) are needed by the plugin. Those are supplied with it for convenience. -
19
pFUnit
Unit testing framework for Fortran with MPI extensions
pFUnit is now hosted and developed on GitHub. And will be completely removed from sourceforge on January 01, 2020 Please use: https://github.com/Goddard-Fortran-Ecosystem/pFUnit GitHub has been the primary host for some time now, but with the release of pFUnit 4.0 earlier in 2019, the sourceforge site is very out of date. -
20
sudoku86
a 16-bit Sudoku game for DOS and 8086/8088 CPUs
Sudoku86 is a Sudoku game designed to run under DOS. It is a 16-bit, real mode application using CGA or VGA video output (320x200). It has been compiled using Turbo C 2.0.1. Sudoku86 comes with 100 sudoku grids. Sudoku86 requires: - 50K of free conventional memory - a 8086/8088 compatible CPU - a CGA, MCGA or VGA graphic card - a two-button mouse - a DOS 3.0+ compatible operating system -
21
ParaFEM
Parallel finite element analysis
ParaFEM is an open source platform for parallel finite element analysis. The source code and philosophy are documented in the text book Smith, Griffiths and Margetts, "Programming the Finite Element Method", 5th Edition, Wiley, 2014. The software is written in modern Fortran and uses MPI for message passing. -
22
Recursive Directory Removal
Recursive Directory Removal
https://github.com/mhisoft/rdpro -
23
HeidiSQL is a useful and reliable tool designed for web developers using the popular MySQL server, Microsoft SQL databases and PostgreSQL. Code repository and tickets have moved to https://github.com/HeidiSQL/HeidiSQL in Nov 2017.
-
24
BioFVM
3-D diffusion solver for biological problems
BioFVM is an open source diffusive transport solver for biological problems. It can solve for the diffusion of tens or hundreds of substrates on large 3-D domains. For simplicity, the code has minimal external dependencies. BioFVM was first published in: A. Ghaffarizadeh, S.H. Friedman, and P. Macklin. BioFVM: an efficient, parallelized diffusive transport solver for 3-D biological simulations. Bioinformatics 32(8): 1156-8, 2016. DOI: 10.1093/bioinformatics/btv730 method paper... -
25
WHPC
Build and run environment for HPC codes on Windows
WHPC is a software bundle representing self-contained environment to build and run high performance numerically intensive sequential and parallel codes on Windows.