Sign in

Repository Index

69,259 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

25–44 of 44 · Most stars

Pipe elixir functions that match ok/error tuples or custom patterns.

  • elixir
  • error-handling
  • monad
  • pipe

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 tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.

  • algebraic-effects
  • side-effect
  • side-effects
  • typesafe

Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.

  • parallel-processing
  • elixir-library

Elixir macro for extracting or transforming values inside a pipe flow.

  • elixir
  • pipe
  • error-handling

Hands is a process controller used to control the execution and return strategies of multiple goroutines.