Sign in

Repository Index

60,121 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

721–744 of 791 · Most stars

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

AI-Powered Quantitative Trading Engine — Evolve strategies with genetic algorithms

Self-hosted CMS that works human or headless: full admin UI plus REST and MCP APIs, built-in semantic search and site chat, and content forking, versioning, diff/merge review, templates, approvals, and static page generation.

Automate semantic versioning of Git repositories by analyzing their formatted commit history and tagging them with the right SemVer.

  • ci
  • cicd
  • semver
  • semver-release

A modern, Pythonic ORM for TypeDB with an Attribute-based API that aligns with TypeDB's type system.

  • orm
  • typedb
  • typeql
  • pydantic