Sign in

Repository Index

85,081 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

34,681–34,704 of 40,494 · Most stars

Compilation and Verification of Data-Centric Languages

  • verification
  • query-language
  • query-engine
  • functional-programming

TIP (translate it, please) is a plugin for VLC media player that helps you to study languages by watching videos.

  • vlc
  • vlc-plugin
  • plugin