Sign in

Repository Index

60,121 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

457–480 of 577 · Most stars

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

  • f-sharp
  • parser
  • combinator
  • library

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

🐝 A Highly Performant and easy to use goroutine pool for Go

  • goroutine
  • goroutine-pool
  • goroutine-scheduling
  • task-scheduler

High performance utility functions using Generics

  • filter
  • functional
  • generics
  • go

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)