Sign in

Repository Index

80,339 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

337–360 of 442 · Most stars

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

  • midi
  • music-programming
  • karaoke
  • karaoke-player

Please note that the warc-indexer tool & code is now supported by NetArchiveSuite. The 'warc-indexer' directory and code that exists in this repo is now only for reference. For support and issues of 'warc-indexer', please communicate with NetArchiveSuite.

A Java-based statically-typed fast template engine that can be used in any Java code. It has special adapter for use with the Play! Framework.

TranslatedDesktop widget for memorizing English words for the postgraduate entrance exam (考研, kaoyan): it automatically works backward from the countdown to the preliminary exam to set the daily word count, with scheduled notification pushes + a desktop widget + study danmaku (scrolling comments). Includes 5,398 built-in words, and supports custom word lists, dark mode, and switching between bilingual / English only / Chinese only. Runs purely locally, with no internet connection and no account.

  • android
  • android-widget
  • apk
  • english-learning

A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis

  • ast-analysis
  • mining-software-repositories
  • kth
  • inria

OpenIG is an open-source identity gateway (reverse-proxy) that secures, routes, and manages web traffic. It enables authentication, access control, and integration with identity providers, delivering single sign-on and API security for web and cloud applications.