Artificial Intelligence for Kinematics, Dynamics, and Optimization
Repository Index
47,133 repositories indexed
3,481–3,504 of 5,821 · Most stars
This is the GitHub home of Race Into Space, the computer version of the Liftoff! board game by Fritz Bronner. It was developed by Strategic Visions and published by Interplay as a disk-based game in 1993 and a CD-ROM in 1994. It was open-sourced in 2005 and a number of improvements have been made over the original.
- lunar
- lunar-lander
- moon
- probe
Bash interface to the PushBullet API
Strata Files: a fast, native, keyboard-first file manager and Finder alternative for macOS. Instant search, live folder sizes, disk usage map, dual pane.
- appkit
- file-manager
- finder-alternative
- macos
[MAINTENANCE ONLY] DataStax Ruby Driver for Apache Cassandra
Real streets. Game worlds. Native Android navigation with 27 game-inspired maps, sensor-assisted guidance and verified in-app updates.
- kotlin
- navigation
- android-app
- android-auto
TranslatedSnowAir is a lightweight screenshot and annotation tool that covers screenshots, screen recording, presentation, pinning images to the screen, recognition, translation, clothes rack (晾衣架) and other features. Free and efficient, all in 轻雪 (Qingxue, "light snow").
- canvas
- draw
- paint
- screen-capture
C++, SDL 2 and SFML game engine that allows to create games on Nintendo Switch, Web (HTML 5), Mobile and PC.
- sfml
- game-engine
- android
- android-studio
Leed (contraction de Light Feed) est un agrégateur RSS libre et minimaliste qui permet la consultation de flux RSS de manière rapide et non intrusive.
- rss
- reader
- atom
- leed
Java Constraint Programming solver
ESLint rules for AVA
- ava
- eslint-rules
- eslint
- eslint-plugin
Sample SvelteKit app with PocketBase integration
ROS extensions and implementations for py_trees
A DeepSeek Harness (dsh) plugin — turns dsh web into a SillyTavern-style roleplay frontend: character cards, prompt presets, lorebooks, personas, BM25 long-term memory, world-state deltas, and rollback-able floor operations, all on the dsh agent runtime.
- dsh-plugin
- deepseek-harness
- deepseek-harness-plugin
- sillytavern
Official Repository of paper OmniReasoning: Pushing the Limits of Audio-Visual Joint Reasoning
Self-hosted, invisible CAPTCHA that detects AI agents driving real browsers. GDPR, WCAG 2.2 AA, and EAA: no cookies, no third-party data sharing, and no visual or audio puzzle. With a false-positive budget enforced in CI. Proof of work, drop-in for Turnstile and reCAPTCHA.
- anti-bot
- behavioral-analysis
- bot-detection
- captcha
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Metroid: Samus Returns without an emulator: the game's code recompiled from your own dump into native code, for Windows, Linux / Steam Deck and Android. Bring your own dump.
Four statecharts about running a boba shop, drawn by hand in code.
TypeDB Studio: An interactive visual environment for TypeDB
- knowledge-base
- visualisation
- graph-visualization
- network
Test your command line interfaces on windows, linux and osx and nodes viá ssh and docker
Design rules and a zero-dependency checker for interfaces built with AI coding agents, on the web and in SwiftUI and Jetpack Compose apps. English and Turkish.
- agent-skill
- design-rules
- design-system
- lint
Database independent interface for Common Lisp
- common-lisp
- database
A layout engine for AI diagrams: the model says what to draw, Sketchy figures out where. Hand-drawn, interactive, in Claude, Cursor and VS Code.