Sign in

Repository Index

71,372 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

97–120 of 920 · Most stars

Declarative data automation language and Go runtime for structured extraction workflows.

  • golang
  • query-language
  • dsl
  • go

Performance-portable, length-agnostic SIMD with runtime dispatch

  • simd
  • simd-instructions
  • simd-programming
  • intrinsics

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.

:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

Automated CI toolchain to produce precompiled opencv-python, opencv-python-headless, opencv-contrib-python and opencv-contrib-python-headless packages.

  • opencv
  • python
  • wheel
  • python-3