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

433–456 of 518 · Most stars

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

  • coq-plugin
  • large-numbers
  • coq
  • docker-coq-action

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

  • pdf
  • pdf-lib
  • csharp-pdf

Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.

  • elixir-lang
  • elixir
  • hex
  • package

🚧 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