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

4,897–4,920 of 6,398 · Most stars

Search the web and primary sources, read full pages, and check every citation. MCP server for Claude, Cursor, Codex and more. Runs on your machine.

A Rocq formalization of information theory and linear error-correcting codes

  • information-theory
  • error-correcting-codes
  • probability
  • convexity

Shell scripting made Lisp-like! Or, live-coding remote function calls for the shell.

Fast detection of repackaged Android applications based on the comparison of resource files included into the package.

  • android
  • android-security
  • repackaging-detection
  • java

New Stl.Fusion sample and a fully functional web app allowing you to play real-time multiplayer board games. Powered by Stl.Fusion, Blazor, and .NET 5.

  • board-games
  • blazor-wasm-mode
  • blazor-server
  • wasm