Cosette is an automated SQL solver.
Repository Index
69,734 visible repositories in the index
3,817–3,840 of 5,961 · Most stars
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
PHP Censor is an open source self-hosted continuous integration server for PHP projects.
- php
- continuous-integration
- ci
- php-censor
Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)
Curated list of Creative Technology groups, companies, studios, collectives, etc.
A self-hosted browser-based cloud IDE, updated from Codiad IDE
- ide
- editor
- cloud-ide
- self-hosted
Animated RxCocoa bindings
Unofficial static recompilation of the Xbox 360 version of Need for Speed: Most Wanted (2005): a native port for Steam Deck, Steam Machine, Steam Frame, Linux and Mac (iPhone/iPad: sideload the experimental IPA or build it yourself). Bring your own disc: no game files included. Not affiliated with EA or Valve.
Turn DeepSeek Harness into a self-hosted enterprise Agent platform with knowledge, deep research, content generation, vibe coding, browser automation, governance, and admin controls.
- agent
- ai-agents
- dsh-plugin
- enterprise-agents
Self-hosted PaaS on your own Kubernetes.
- databases
- deployment
- docker-compose
- internal-developer-platform
A production-grade, high-efficiency Agentic RL framework for frontier LLMs with validated recipes.
An object oriented C++ wrapper for CURL (libcurl)
- curl
- c-plus-plus
- libcurl
- cpp
An ancient Chinese divine beast, now reincarnated as an enterprise-grade VibeCoding assistant.
- ai-agents
- harness-engineering
- function-calling
- python
One prompt in, a looping animated 3D icon out — with real transparency. A Claude Code skill.
Translated🖖🏻 A self-hosted Quora like web application written in Go. A privately deployed Q&A application based on Golang, similar to Zhihu, with features including questions and answers, comments, likes, and an admin backend.
- golang
- self-hosted
An unofficial Android port of the Xbox 360 version of Grand Theft Auto IV created through the process of static recompilation
RedisSMQ: A high-performance Redis message queue for Node.js
- redis
- background-jobs
- brokers
- dead-letter-queue
The free and privacy respecting pictionary game - Play at https://scribblers.bios-marcel.link
- montagsmaler
- drawing
- guessing-game
- multiplayer
A revamped and updated version of my original OneRuleToRuleThemAll hashcat rule
A curated collection of free resources to help deepen your understanding of the R programming language. Updated regularly. Contributions encouraged via pull request (see contributing.md).
- r
- learning-resources
- awesome
- awesome-list
Find outdated dependencies of your Go projects. go-mod-outdated provides a table view of the go list -u -m -json all command which lists all dependencies of a Go project and their available minor and patch updates. It also provides a way to filter indirect dependencies and dependencies without updates.
- go
- golang
- beautify
- beautifier
Self-hosted workflows for coding-agent delivery. Orchestrate CodeBuddy, Codex and Claude Code with scripts and human approval gates. Includes Local workflows for coding assistants.
A curated list of amazingly awesome articles, websites and resources about diversity in technology.
- awesome-list
- awesome
- diversity
- technology
Library and tools for working with MP4 files containing video, audio, subtitles, or metadata. The focus is on fragmented files. Includes mp4ff-info, mp4ff-encrypt, mp4ff-decrypt and other tools.
- mpeg-dash
- mp4
- fmp4
- avc