Advanced Function composition to use with RxJava [STABLE]
Repository Index
47,133 repositories indexed
337–360 of 441 · Most stars
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
GObject Introspection D Package Repository
A portable reader and bridge for interacting with Objective-C and Cocoa
A very tiny and fast compose function.
The universal ISSR server compatible with <your-favorite-programming-language>
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Library for selective receive OTP processes
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Make native methods available as partially applied functions.
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
Run promise-returning & async functions a specific number of times concurrently
Adobe AIR native extension for the Bullet physics simulation library
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Simple currying for FuncN and ActionN on RxJava [STABLE]
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
Run functions in parallel :comet:
- go
- concurrency
- goroutines
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
IO for Gallina
- coq
- ocaml
- extraction