Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

313–336 of 409 · Most stars

Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation

A Go toolkit for building AI agents and applications across multiple providers. Unified LLM client, agent framework with handoffs, tool calling, streaming, structured output, MCP integration, and cost tracking.

Erlang Redis client. This is an actively maintained fork used and sponsored by Ericsson via Nordix Foundation.

MatchFlow is a full-stack invoice processing and purchase-order matching system—built on Clean Architecture with a React+Nginx front-end, a .NET 6 API back-end, Azure Form Recognizer OCR, Azure Blob Storage, and Docker Compose for one-command local setup.

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

ActionScript AIR ORM for using client-side SQLite within AIR and Flex apps. Supports ActiveRecord style models, migrations and associations.

Make Java source layout deterministic: reorder class members safely, keep accessors together, format java-source, and enforce style in CI.

  • java
  • java-code-audit
  • java-code-formatter
  • java-code-quality