Sign in

Repository Index

58,632 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

313–336 of 388 · Most stars

A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.

  • algebraic-effects
  • side-effect
  • side-effects
  • typesafe

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

Ruby wrapper for the famous spell checker library hunspell.

  • ruby
  • hunspell
  • rubygem
  • hunspell-spell-checker

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.

  • clr
  • vba
  • visual-basic
  • netframework

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

  • combinatorial-optimization
  • community-detection
  • dynamic-graphs
  • edge-orientation

CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad

A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.

  • pdf
  • pdf-lib
  • csharp-pdf