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

817–840 of 980 · Most stars

🚧 Flexible mechanism to make execution flow interruptible.

  • hacktoberfest

Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.

Go option and result types that optionally contain a value

  • golang
  • option
  • result
  • error

Lazy iterator implementation for Golang

  • golang
  • iterator
  • golang-package
  • golang-module

Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.

  • bindbc
  • dlang
  • freetype
  • freetype-bindings

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

Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.

  • bindbc
  • lua
  • lua-bindings
  • dlang

A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.

  • golang
  • go
  • goroutine