Integrate PostgreSQL's enum data type into ActiveRecord's schema and migrations.
Repository Index
47,133 repositories indexed
745–768 of 1,619 · Most stars
A desktop GUI for running dozens of Claude Code and Codex agents in parallel, each in its own git worktree. Answer them like email, or use the board view. Free, open source, on the plan you already pay for.
- agent-orchestration
- ai-agents
- claude
- claude-code
A PICO-8 demake of the SCUMM engine that powered most of the classic LucasArts adventure games, such as Monkey Island and Maniac Mansion.
- pico-8
- pico8
- scumm
- point-and-click
A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
Google Material Design Icons Font for iOS
Connect to MongoDB and Atlas and directly from your VS Code environment, navigate your databases and collections, inspect your schema and use playgrounds to prototype queries and aggregations.
- mongodb
- mongodb-atlas
- vscode
- vscode-extension
Email archiving application
- archiving
🦩 Joi like validations for TypeScript
- validation
- typescript
- runtime
- strongly-typed
A small tool to visualize Prisma schemas as Entity-Relationship Diagrams.
A C/C++ header file for fast 32-bit division remainders (and divisibility tests) on 64-bit hardware.
- performance
🦉 🌌 Night Owl colorscheme implementation for Neovim with support for Treesitter and semantic tokens
A new profiler for Ruby. With a GUI
Compatibility layer and high level emulator hybrid for running macOS applications across operating systems and architectures
- compatibility-layer
- macos
- macos-compatibility
- high-level-emulation
A robust JSON decoder/encoder with support for schema validation.
Native Android port of God of War III Remastered (PS4). test in adren 830
PostgreSQL Automatic Failover: High-Availibility for Postgres, based on Pacemaker and Corosync.
- pacemaker
- postgresql
- postgres
- resource-agent
AgML is a centralized framework for agricultural machine learning. AgML provides access to public agricultural datasets for common agricultural deep learning tasks, with standard benchmarks and pretrained models, as well the ability to generate synthetic data and annotations.
- deep-learning
- agriculture
- pytorch
- dataset
C++ GraphQL schema service generator
- graphql
- graphql-tools
Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
The visual communication layer between humans and AI agents. Capture, annotate, render diagrams, and organize with AI — powered by Electron and Ollama. macOS & Linux.
JSON Schema validator written in JavaScript for NodeJS and Browsers
Cryptography Educational Foundations
The Little Schemer in Elixir.
Optimized and reworked version of Kinfu