Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–38 of 38 · Most stars

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

  • community-driven
  • manifesto
  • coq

CGo bindings to Yandex.Mystem

  • russian-specific
  • mystem
  • cgo-bindings
  • linguistics

Scala Native bindings for the IUP user interface library

  • bindings
  • iup-gui-library
  • scala