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

2,089–2,112 of 2,803 · Most stars

Exercism exercises in Crystal.

  • exercism-track
  • community-contributions-accepted
  • maintained-solitary

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

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

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