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 195 · Most stars

🌟 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

New Stl.Fusion sample and a fully functional web app allowing you to play real-time multiplayer board games. Powered by Stl.Fusion, Blazor, and .NET 5.

  • board-games
  • blazor-wasm-mode
  • blazor-server
  • wasm

The Windows Community Toolkit is a collection of helper functions, custom controls, and app services. It simplifies and demonstrates common developer tasks building UWP apps for Windows 10. The toolkit is part of the .NET Foundation.

Compilation and Verification of Data-Centric Languages

  • verification
  • query-language
  • query-engine
  • functional-programming

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]