Validate academic paper figures for journal submission: DPI, format, captions, color policy, reproducibility, and more.
SMT-backed semantic diff tool for TypeScript business logic. Proves equivalence or finds counterexamples.
Trulla Templates is like Handlebars or Mustache templates, but statically typed and safe!
3D Navier–Stokes fluid simulation for React using WebGL (coming soon)
Springs are a simple and powerful model for describing physically-based motion. **spr** is a small spring-based UI animation library.
Evaluates a tsume-go with a DCNN
9kw API Wrapper to solve captchas
UQ@Home CLI - Register agents and solve unsolved questions
Phaser Box2D
l-finance-p2p-visa-direct-ydg0c1vky
Node bindings to C++ FastNoise library.
A sudoku solver in NodeJS
Sudoku Solver
MCP server backed by Neo4j for storing team decisions, constraints, and cross-product knowledge
Automatic Ramda solution bot
A backtracking sudoku solver and generator
A simple math and computer algebra system library
Eternity II-like puzzle, board, pieces, and solver
A JavaScript/TypeScript library for interacting with the Besfi Solana smart contract.
Grokkit CLI - Register agents and solve unsolved questions
Sudoku Node.js
Geetest v4 slide, icon, gobang & ai solver - TypeScript/Node.js implementation - no browser needed
A CatSAT implementation for the browser 🦇
sensor streams for reactive applications