Static type checker for Ruby
- ruby
- typechecker
47,133 repositories indexed
433–456 of 1,051 · Most stars
Static type checker for Ruby
THE FIRST DLSS 5 MANAGER
:speech_balloon: A UI framework for building messenger interfaces on iOS
A tech mod for Minecraft themed around the magic of nature and plant life.
A curated list of awesome technologies related to Anime, Comic and Games
The programmable open source core ledger for fintech
TranslatedA Claude Code / Codex skill that makes AI create serious PPTX files
Strategies to Gekko trading bot with backtests results and some useful tools.
The Galène videoconference server
Clooney is an actor library for the web. Use workers without thinking about workers.
Go library for creating finite state machines
Composable Svelte chart components to build a large variety of visualizations
Claude Code skill kit for premium AI-assisted business videos: independent critic loop, motion principles from 28 launch films, quality bar, sound design, business offers, Three.js patterns, scripts
Kubegres is a Kubernetes operator allowing to deploy one or many clusters of PostgreSql instances and manage databases replication, failover and backup.
Gp.nvim (GPT prompt) Neovim AI plugin: ChatGPT sessions & Instructable text/code operations & Speech to text [OpenAI, Ollama, Anthropic, ..]
Native speech-to-text for Linux - Fast, accurate, private, and hackable system-wide dictation
Open Source Social Network (OSSN) is a powerful open-source social networking software developed in PHP. It enables you to create a fully functional social networking website that fosters community engagement and helps your members form meaningful social relationships.
⬤▗▚▚▚ Web-based online rhythm action game. Based on HTML5 technologies, React, Redux and Pixi.js.
Simple Java image-scaling library implementing Chris Campbell's incremental scaling algorithm as well as Java2D's "best-practices" image-scaling techniques.
An AI skill that turns books into animated, narrated, interactive web experiences
Math & CS awesome List, distinguished by proof and logic technique
Coordinate Claude, Codex and Cursor windows with shared tasks, acknowledgements, prechecks, parallel tests, source-bound proofs and independent review. Built-in skills recall lessons, simplify code and forecast work. Track progress, decisions and evidence in a bilingual local dashboard, with MCP plugins. Browse skills and verified security audits.
A custom element that allows you to easily put a Dark Mode 🌒 toggle or switch on your site:
:speech_balloon: A curated list of gaming talks (development, design, etc)