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

169–192 of 258 · Most stars

pure functional and generic programming for Erlang

  • foldable
  • traversable
  • erlang
  • lenses

Go asynchronous simple function utilities, for managing execution of closures and callbacks

  • goroutine
  • callback
  • closure
  • golang

Decorator which checks whether the function is called with the correct type of parameters.

  • python
  • type-checking
  • runtime-checking
  • typechecking

🌟 Useful functional programming helpers for Go

  • golang
  • go
  • functional-programming
  • library

Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data

A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.

😴 Functional programming with lazy immutable iterables

  • iterables
  • functional-programming
  • iterator
  • haskell

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

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

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