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

13,633–13,656 of 18,343 · Most stars

UI framework based on the Fusion/libui.cr library, with elements from watzon/cru.

  • libui
  • gui
  • ui
  • crystal

Rails tagging system that stores tags in a PostgreSQL array column or an SQLite JSON column – no join tables, no extra models, no N+1 queries.

  • tagging
  • rails-gem
  • social
  • rails-tagging

MERK is an open source, cross-platform, multiple-document interface GUI IRC client for Windows, Linux, and macOS written in Python, PyQt5, and Twisted.

  • python3
  • pyqt5
  • gplv3
  • irc-client

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.

Visual Studio extension. Opens *.axml/xml files in IDEA or Android Studio (Xamarin.Android)

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

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