Found 9,350 repositories(showing 30)
cykod
HTML5 Game Engine
informalsystems
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
m0n0x41d
Engineering decisions engine that know when they're stale. Frame, compare, decide — with evidence decay and parity enforcement. For Claude Code, Cursor, Gemini CLI, Codex and more.
martymcmodding
Collection of general-purpose effects for the ReShade shader injector.
apalache-mc
APALACHE: symbolic model checker for TLA+ and Quint
Udacity Self-Driving Car Engineer Nanodegree: Quintic Polynomial Solver. & Paper 'Optimal Trajectory Generation for Dynamic Street Scenarios in a Frenet Frame'
zachstronaut
.qube -- The Quintessential Responsive 3D CSS Cube
poloniki
Transcription/Chunking/Summarization of audio content.
KinoMyu
IDOLM@STER Million Live! Theater Days Unit Simulation
victoriadrake
Quint: Essence of Minimalism. A theme for Hugo static site generator.
informalsystems
Agents and tools for using Quint with LLMs
informalsystems
A model-based testing framework for Quint + Rust
StephenOTT
The quintessential Zeebe tasklist for BPMN Human tasks with Drag and Drop Form builder, client and server side validations, and drop in Form Rendering
sensetence
VueQuintable Table vue.js Component
jrheard
a board game lost to the sands of time
arianrhodsandlot
A web app used for searching albums' covers from a series of music websites.
janhuenermann
A tangible (and fast) spline library with examples and derivations.
Wikunia
Brackets hinter for HTMl selectors in jQuery,HTML and CSS
dearlordylord
Quint definition of Dungeons and Dragons 5e core rules
Wodlfvllf
QuintNet is a research-oriented PyTorch framework designed to explore and implement multi-dimensional parallelism strategies for distributed deep learning.
informalsystems
Semi-automated modelling and Model-Based Testing for CosmWasm contracts
QuintessentialOM
An Opus Magnum mod loader (in-dev).
LOBO50K
᪥ Bienvenidos al repositorio de las hermanas nakano, un bot que está en creación
Engineev
An implementation of the Raft consensus protocol.
Xaven-AI-Labs
Xaven AI SDK enables developers to integrate our AI-powered shopping optimization technology, helping users find the best deals, fastest shipping, and the smartest shopping strategies.
renat0sn
Webscrapping project to scrape rent properties content in São Paulo - SP, using the brazilian famous housing website QuintoAndar.
RKNITH
No description available
shaunlinz02
implementation of the two-factor quintic OU model
collective
No description available
renju-note
Renju mate solver compilable to WebAssembly