Search Results for "parallel-sudoku-solver" - Page 4
Sort By:
Showing 1929 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
nbmake
Pytest plugin for testing notebooks
Pytest plugin for testing and releasing notebook documentation. To raise the quality of scientific material through better automation. Research/Machine Learning Software Engineers who maintain packages/teaching materials with documentation written in notebooks. -
2
OpenCL.jl
OpenCL Julia bindings
Julia interface for the OpenCL parallel computation API. This package aims to be a complete solution for OpenCL programming in Julia, similar in scope to PyOpenCL for Python. It provides a high level API for OpenCL to make programing hardware accelerators, such as GPUs, FPGAs, and DSPs, as well as multicore CPUs much less onerous. -
3
Local Deep Research
95% on SimpleQA (e.g. Qwen3.6-27B on a 3090)
...It runs locally, giving users full control over their data, privacy, and infrastructure while supporting both local and cloud-based LLMs. The system breaks down complex queries into smaller steps, performs parallel searches across web and academic sources, and generates structured, citation-backed reports. It also supports personal document ingestion through vector search, enabling users to build a private, searchable knowledge base. The platform includes a web interface, Docker-based deployment, and flexible configuration options, making it accessible to both developers and researchers. ... -
4
JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling of combinatorial problems, as well as modular design of search. Documentation is available at project Web site. Please, note that the sources from version 4.0 are only available at GitHub.
-
$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.
-
5
WALA
Libraries for Analysis, with frontends for Java, Android, and JS
The T. J. Watson Libraries for Analysis (WALA) provide static analysis capabilities for Java bytecode and related languages and for JavaScript. The system is licensed under the Eclipse Public License, which has been approved by the OSI (Open Source Initiative) as a fully certified open-source license. The initial WALA infrastructure was independently developed as part of the DOMO research project at the IBM T.J. Watson Research Center. In 2006, IBM donated the software to the community. The... -
6
CampusShame
Crowdsource and document the reputational history of companies
...It compiles lists of companies that have had so-called “shameful” behaviors, such as rescinding offers, canceling intention letters, or terminating three-party agreements after acceptance, alongside a parallel list of companies without reported negative incidents. The project draws on publicly available anecdotes, snapshots, and forum posts from platforms such as NowCoder, Maimai, and Zhihu to provide evidence and context for each entry, preserving details that might otherwise be lost as threads get deleted or censored. It also includes commentary on recruitment pitfalls and encourages contributors to share their own experiences or corrections to keep the list up to date. -
7
NonlinearSolve.jl
High-performance and differentiation-enabled nonlinear solvers
...The package includes its own high-performance nonlinear solvers which include the ability to swap out to fast direct and iterative linear solvers, along with the ability to use sparse automatic differentiation for Jacobian construction and Jacobian-vector products. NonlinearSolve.jl interfaces with other packages of the Julia ecosystem to make it easy to test alternative solver packages and pass small types to control algorithm swapping. It also interfaces with the ModelingToolkit.jl world of symbolic modeling to allow for automatically generating high-performance code. -
8
Zoo Code
Zoo Code gives you a whole dev team of AI agents in your code editor
...It can generate, refactor, debug, document, and explain code while working with the surrounding codebase. Dedicated Code, Architect, Ask, Debug, and Custom modes adapt the assistant to different tasks. Its orchestrator can delegate work, coordinate parallel subtasks, and recover parent or child tasks. Semantic code search helps agents locate relevant code without a separate indexing workflow. The project also supports many model providers, MCP servers, workspace rules, file-access controls, and safeguards against destructive commands. -
9
Flash-MoE
Running a big model on a small laptop
...The project aims to reduce the computational cost typically associated with MoE systems while maintaining or improving performance. It likely includes support for GPU acceleration and parallel processing, enabling it to handle large-scale workloads effectively. The architecture emphasizes speed and efficiency, making it suitable for both research and production environments where performance is critical. It may also provide tools for benchmarking and tuning model behavior. Overall, flash-moe represents a technical advancement in making MoE models more practical and deployable. -
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
10
KACTL
KTH algorithm competition template library
...Instead of reinventing algorithms on the fly during contests like ACM-ICPC or Codeforces rounds, competitors can import exactly the component they need — whether a segment tree with lazy propagation, a minimum cost flow solver, or a fast Fourier transform — and focus their energy on problem logic and strategy. -
11
HDF5
Official HDF5® Library Repository
HDF5 (Hierarchical Data Format v5) is a widely-used data management library and file format for storing large and complex scientific data sets efficiently. -
12
Cabal
Upstream development repository for Cabal and cabal-install
Cabal is a system for building and packaging Haskell libraries and programs. It defines a common interface for package authors and distributors to easily build their applications in a portable way. Cabal is part of a larger infrastructure for distributing, organizing, and cataloging Haskell libraries and programs. The term cabal can refer to either: cabal-the-spec (.cabal files), cabal-the-library (code that understands .cabal files), or cabal-the-tool (the cabal-install package which... -
13
Output
TypeScript framework for building AI workflows and agents
...It eliminates reliance on fragmented SaaS tools by providing all necessary components locally, ensuring better transparency and control over data and processes. Output includes built-in evaluation systems, such as LLM-as-a-judge scoring, and integrates workflow orchestration tools like Temporal to handle retries, parallel execution, and state management. It also supports multiple model providers through a unified API. -
14
Horust
Horust is a supervisor / init system written in rust
...Unlike traditional init systems, Horust focuses on stateless configuration using TOML files and aims to bring predictability and ease of use to system boot and service management. Written with Rust’s safety guarantees, Horust provides features like dependency handling, parallel service startup, and logging, making it suitable for containers, embedded systems, or minimal Linux environments where systemd is too complex or heavy. -
15
Chat On Steroids
Cross-platform local MCP capabilities for ChatGPT with Chrome
Chat On Steroids is a cross-platform desktop workspace that connects a normal ChatGPT conversation with local development and computer tools. It lets ChatGPT inspect approved files, apply patches, run terminal commands, maintain task plans, and coordinate multiple workers. Long-running tasks can continue while the user sends corrections or changes direction. Worker sessions preserve their own context so delegated jobs can be resumed or reused later. On supported desktop platforms, an... -
16
Kimi K2.5
Moonshot's most powerful AI model
...K2.5 supports both “Thinking” and “Instant” modes, enabling either deep step-by-step reasoning or low-latency responses depending on the task. Designed for agentic workflows, it features an Agent Swarm mechanism that decomposes complex problems into coordinated sub-agents executing in parallel. With a 256K context length and MoonViT vision encoder, the model excels across reasoning, coding, long-context comprehension, image, and video benchmarks. Kimi K2.5 is available via Moonshot’s API (OpenAI/Anthropic-compatible) and supports deployment through vLLM, SGLang, and KTransformers. -
17
Brakeman
A static analysis security vulnerability scanner for Ruby on Rails app
Brakeman is a free vulnerability scanner specifically designed for Ruby on Rails applications. It statically analyzes Rails application code to find security issues at any stage of development. Brakeman now uses the parallel gem to read and parse files in parallel. By default, parallel will split the reading/parsing into a number of separate processes based on number of CPUs. In testing, this has dramatically improved speed for large code bases, around 35% reduction in overall scan time. Brakeman will now track and return very simple literal values (e.g. strings, hashes of literals, arrays of literals) from very simple class methods (e.g. single line). ... -
18
Brax
Massively parallel rigidbody physics simulation
Brax is a fast and fully differentiable physics engine for large-scale rigid body simulations, built on JAX. It is designed for research in reinforcement learning and robotics, enabling efficient simulations and gradient-based optimization. -
19
deepsec
Deepsec is a security harness for finding vulnerabilities
...The tool initializes a project-specific security context, scans code in batches, processes findings, and can optionally revalidate results to reduce false positives. For large repositories, it supports parallel work across worker machines and can resume interrupted scans without repeating completed work. It is aimed at serious security reviews where deeper model reasoning may be worth the higher compute and model cost. The project is especially relevant for teams that need to uncover long-standing vulnerabilities hidden inside complex application code. -
20
Kreuzberg
Polyglot document intelligence framework
Kreuzberg is a flexible task orchestration and agent workflow platform designed to help developers build, coordinate, and scale intelligent agents or automation pipelines that interact with external services, runtime environments, and multi-step business workflows. It emphasizes modular design so that developers can define discrete tasks or “actions” and then compose them into complex flows where dependencies, parallel steps, and error handling are declaratively managed. This structure makes it simpler to build resilient automation pipelines that span multiple technologies or APIs without needing to glue everything together manually. The platform also supports observability and monitoring, helping teams trace the progression of workflows, catch errors early, and evaluate performance trends in orchestrated systems. -
21
Open Tax Solver
Calculates income tax form entries, helps do your taxes.
OTS is a safe, secure, easy-to-use program for calculating Tax Return Form entries, and determining your tax-owed or refund-due, for Federal or State personal income taxes. Includes updated versions for US 1040, Schedules A, B, C, D, and for several states. OTS provides both graphical and textual interfaces for quickly filing out your tax forms. --- Best way to download the correct version for your platform -- go to the OTS WEBSITE: =====> ... -
22
CUDA-QX
Accelerated libraries for quantum-classical computing built on CUDA-Q
...The libraries are intended to help researchers and developers leverage GPUs, CPUs, and quantum processing units together in a unified computational model. CUDA-QX focuses on key areas such as quantum error correction and hybrid solver algorithms, offering high-level APIs that simplify complex quantum workflows. By abstracting low-level details and providing ready-to-use components, it accelerates experimentation and development in quantum computing research. The project is part of NVIDIA’s broader effort to enable scalable quantum-classical computing systems through hardware-agnostic programming models. -
23
Diffrax
Numerical differential equation solvers in JAX
Diffrax is a numerical differential equation solving library built for the JAX ecosystem, with a strong focus on composability, differentiability, and high-performance scientific computing. The project provides tools for solving ordinary differential equations, stochastic differential equations, controlled differential equations, and related systems in a way that fits naturally into modern machine learning and differentiable programming workflows. Because it is written to work closely with... -
24
Koog
Koog is the official Kotlin framework for building AI agents
...Ready‑to‑use components address common AI engineering challenges, while intelligent history compression optimizes token usage and preserves context. A powerful streaming API enables real‑time response processing and parallel tool calls. Persistent memory allows agents to retain knowledge across sessions and between agents, and comprehensive tracing facilities provide detailed debugging and monitoring. -
25
conflux-rust
The official Rust implementation of Conflux protocol
conflux-rust is the Rust implementation of Conflux, a high-performance Layer 1 blockchain designed to deliver high throughput without compromising decentralization or security. Conflux introduces a Tree-Graph consensus mechanism that allows parallel block processing while maintaining consensus integrity. This implementation focuses on performance and is compatible with the Ethereum Virtual Machine (EVM), enabling developers to deploy smart contracts written for Ethereum. It provides a robust foundation for dApps, DeFi, and Web3 applications in regions requiring regulatory compliance and scalability.
