Sign in

Repository Index

65,764 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

145–168 of 180 · Most stars

A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)

The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.

An asynchronous directory file change watcher module for Windows, macOS and Linux wrapped for V

  • vlang
  • vlang-module
  • wrapper
  • filewatcher

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

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