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

3,169–3,192 of 4,970 · Most stars

A community-curated knowledge hub and catalog for computer science, cybersecurity & software engineering books

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

A performant, and portable jq wrapper to facilitate the consumption and output of formats other than JSON; using jq filters to transform the data.

  • crystal
  • json
  • xml
  • yaml

Algeria's 69 wilayas, 538 dairas and 1,541 communes with Arabic/French search and historical administrative boundaries. Python and TypeScript libraries.

  • administrative-divisions
  • algeria
  • arabic
  • commune

Translated麦有谱 (Mai You Pu, "McDonald's has a recipe"): Same McDonald's, different ways to eat it. A combo-eating Skill and interactive demo based on McDonald's MCP.

  • mcdonalds
  • mcp
  • recipes
  • skill

Translated研迹 Trail (Yanji, "research trail"): a local-first AI investment research workbench. Connects market quotes, candlestick charts, and deep research, so that judgments are traceable and risks can be reviewed. Local-first AI investment research desktop with an evidence-grounded copilot.

DDD+CQRS+Event-sourcing examples using EventFlow following CQRS-ES architecture. It is configured with RabbitMQ, MongoDB(Snapshot store), PostgreSQL(Read store), EventStore(GES). It's targeted to .Net Core 2.2 and include docker compose file.

  • eventflow
  • cqrs
  • cqrs-es-architecture
  • ges

[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.

  • go
  • golang
  • type
  • struct

:ghost: GhostText plugin for Neovim with zero dependencies :tada: Supports neovim running inside WSL too! :partying_face: Windows/Linux/macOS supported out-of-the-box! :smile: (Other OSes need python3.6+ installed)

Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)

  • compiler
  • compiler-backend
  • compiler-optimization
  • gpu-acceleration