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

193–216 of 236 · Most stars

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

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

Kotlin recursion schemes with Arrow

  • recursion-schemes
  • kotlin
  • functional-programming
  • recursive-structures

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm

NBAda - An Ada library of lock-free data structures and algorithms.

Provides a type for working with optional variables, fields in structures, functions and database models.