A JavaScript/TypeScript library for interacting with the Besf Solana smart contract.
JavaScript/TypeScript bindings for diffsol ODE solver with WASM
Sudoku game and solver
Springs are powerful approach for describing fluid, physically-based animation.<br/> **spr** is a high-performance and user-friendly motion library for Roblox based on springs.
React hooks and components for AgentAuth challenge flows
Generates a database of graded Sudoku puzzles with solutions.
A React component library for building interactive scientific figures.
Proof Language - AI-Verified Programming Language with Mathematical Verification, Z3 SMT Solver, Blue-Green Deployment, and Auto-Remediation
A puzzle scrambler in Javascript
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and Tau Prolog
The Intent Clearinghouse for Verifiable Agent Execution - A decentralized marketplace connecting user intents with autonomous agent solvers through cryptographically verifiable execution
Kick allows broadcasters to share automatic broadcasts on the discord platform
Solve a system of linear periodic tridiagonal equations
A max-path-value solver for Project Euler's eighteenth and sixty-seventh problems, because I got bored.
Solving Nemonemo logic puzzles.
Hi there 👋 My name is Mohammad Reda KATBY
Executing async function with simple error handling. Returns object with data and error.
Dirac gamma-matrices trace solver
A simpley bot of Master Mind(a.k.a Hit & Blow)
A simple JavaScript SAT solver
matrix manipulator
Give holidays for a country
Redux-Web-Worker is a [middleware](http://redux.js.org/docs/advanced/Middleware.html) for [Redux](https://github.com/reactjs/redux).
simplified optional success/error callbacks