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

5,665–5,688 of 7,246 · Most stars

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

  • aadl
  • ada

Time-Based One-Time Password (TOTP) and HMAC-Based One-Time Password (HOTP) library for Go.

  • hotp
  • totp
  • totp-codes
  • authenticator

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

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

A command line tool and node package to convert markdown files into self-contained impressjs html presentations

Turms is a pure python implementation of the awesome graphql-codegen library, following a simliar extensible design.

A drop-in replacement for Go errors, with some added sugar! Unwrap user-friendly messages, HTTP status code, easy wrapping with multiple error types.

  • error-handling
  • errors
  • go
  • golang

CLESH a very short and simple program, written in Common Lisp, that extends Common Lisp to embed shell code in a manner similar to perl's backtick.

PyTorch implementation of the MIDAS algorithm for single-cell multimodal data integration (Nature Biotechnology 2024).

  • deep-generative-model
  • deep-learning
  • single-cell-data-integration
  • single-cell-multiomics