A complete set of primitives for concurrency and reactive programming on Swift
- swift
- concurrency
- concurrency-library
- future
Repository Index
79,350 visible repositories in the index
649–672 of 976 · Most stars
Java port of a concurrent trie hash map implementation from the Scala collections library
J2ME implementation in JavaScript
- j2me
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
A super simple Lodash like utility library with essential functions that empowers the development in Go
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
- topic
- pubsub
- go
- golang
Javascript Generalized Parser Combinators
- functional-programming
- parsec
- parser-combinator
- monad
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
A little scheme implementation on top of Clojure
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
- scripting-language
- automation
- programming-language
- compiler
MojiScript is an async-first, opinionated, and functional library
Functional Experiment in Golang
- functional-programming
- go
- golang
- functional
Algebraic data types in Common Lisp
- common-lisp
- algebraic-data-types
- functional-programming
Haskell-flavoured functions for Go :smiley:
- hacktoberfest
Elixir implementation of an interpreter for the Monkey programming language
- elixir
- monkey
- interpreter
A library that simplifies error handling for Functional Programming in Java
- java
- functional-programming
- exception-handling
- error-handling
Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable
- reactive
- elmish
- fable
- fsharp
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.
- go
- async
- hacktoberfest
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
A Lean formalization of the Stacks Project
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform