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

289–312 of 440 · Most stars

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

  • elixir
  • error-handling
  • monad
  • pipe

A curated list of ready-to-use (functional programming) array filters (TS / ESM / CJS)

  • filter
  • filtering
  • filters
  • fp

A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.

The first and only true Functional Reactive Programming framework for Scala.

  • scala
  • reactive
  • frp
  • frp-library

raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs

Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

A Rocq formalization of information theory and linear error-correcting codes

  • information-theory
  • error-correcting-codes
  • probability
  • convexity