A DSL for building fun, high-performance DNS servers.
- dns-server
- resolver
- rubydns
- asynchronous
Repository Index
47,133 repositories indexed
25–48 of 72 · Most stars
A flexible framework for solving PDEs with modern spectral methods.
- spectral-methods
- fluid-dynamics
- pde-solver
Cosette is an automated SQL solver.
Algebraic Multigrid Solvers in Python
- amg
- solver
- python
- multigrid
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
- embedded-optimization
- nonconvex
- model-predictive-control
- rust-library
FiPy is a Finite Volume PDE solver written in Python
- scientific-computing
- scientific-computing-with-python
- phase-field
- materials-science
simple CAPTCHA solver in python :snake:
- python
- captcha-solver
Simple DNS resolver for asyncio
- python
- asyncio
- dns
Cloudflare turnstile and challenge page solver in Rust (full reverse, request based)
The repository host gives no description.
A Python native dynamical system simulation framework in the block diagram paradigm.
- blockdiagram
- control-systems
- hierarchical-modeling
- nonlinear-dynamics
Exascale multiphase flow solver — 2025 Gordon Bell Prize Finalist | 200T grid points on 43K+ GPUs
- gpu
- exascale
- cfd
- fortran
The Sofie TV Studio Automation System, used in live TV news production by the Norwegian public service broadcaster NRK since September 2018
- sofie
- nrk
- sofie-server
- mos-protocol
Supernodal sparse direct solver. https://portal.nersc.gov/project/sparse/superlu/
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks.
- riemann-solver
- python
- jupyter-notebook
- book
EveryInfra MCP server & agent plugin: scraper API for TikTok, Instagram, Amazon, YouTube, Xiaohongshu & Douyin. 573 data APIs across 106 platforms, from $0.56/1K calls. For Claude Code, Cursor, Codex.
- ai-agents
- claude-code
- cursor
- mcp
Universal python API to captcha solving services
- captcha
- captcha-solving
- captcha-breaking
- recaptcha
Java Constraint Programming solver
Logic programming in Swift
- swift
- kanren
- logic-programming
- solver
SuperGhidra: Autonomous Agent Reverse Engineering, Lock-Free Ghidra Daemon & C++ Recovery Suite
- arm64
- binary-analysis
- decompiler
- disassembler
An automatic code generator for nonlinear model predictive control (NMPC) and the continuation/GMRES method (C/GMRES) based numerical solvers for NMPC
- model-predictive-control
- nonlinear-model-predictive-control
- mpc
- nmpc
Communication between Coq and SAT/SMT solvers
DecisionPivot: a diagnostic benchmark for decision models in LLM systems. Contrast pairs that differ in one decisive detail, generators with independent solvers, scorer and runners.
- benchmark
- calibration
- decision-making
- evaluation