Showing 12981-13000 of 14,600 projects
A command-line tool for searching and browsing Stack Overflow from the terminal.
A math OCR model that outputs LaTeX and Markdown, useful for vibe coders working with AI tools.
ToRA is a series of Tool-integrated Reasoning LLM Agents for solving mathematical reasoning problems.
MyoSuite is a collection of environments/tasks for musculoskeletal models simulated with MuJoCo and wrapped in OpenAI gym.
A Go library for auditing TLS certificates, providing cryptographic verification of certificate transparency logs.
A Python-based command-line tool for downloading apps from the Google Play Store.
Ferret is a free software Lisp implementation for real-time embedded control systems.
A user management app for Jellyfin, an open-source media server platform.
Generator Bootcamp Material: Learn Chisel, a hardware description language, the right way.
MyHDL is a Python-based hardware description language and simulation environment for digital systems.
Serpico is a simple report writing and collaboration tool for developers.
Generate TypeScript types from Postgres schemas, enabling type-safe database interaction.
This is a deprecated TypeScript definition manager for DefinitelyTyped, a repository of high-quality TypeScript type definitions.
GPU-accelerated force graph layout and rendering library for visualizing network data.
A Python library that simplifies version bumping for software projects with a single command.
A Python library for parsing and extracting multilingual data from Wiktionary dump files.
One-stop ZFS backup and replication solution written in Go
A Go-based process manager for Procfile-based applications, useful for managing microservices and development workflows.
Convenient power system modeling and analysis library based on PYPOWER and pandas.
An open-source platform for building and sharing datasets, focused on trust, privacy, and decentralization.
Get weekly updates on trending AI coding tools and projects.