pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Repository Index
47,133 repositories indexed
25–45 of 45 · Most stars
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
simple to use threading library
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
a tool for handling file uploads simple
- file
- upload
- multipart
- http
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Pattern matching for the monads in the cats Clojure library
- clojure
- clojurescript
- pattern-matching
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
- pycom
- micropython
- lopy
- wipy
Monads for Crystal
- monads
- crystal-language
- crystal
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Monitor and restart background threads.
The repository host gives no description.
A lock-free concurrent data structures library for Common Lisp.
- common-lisp
- concurrency
- lisp
- primitives
Free Monads and useful constructions to work with them
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
Primitive Threads and Concurrency Operations for Coalton
A Latin-themed esoteric programming language where source code reads as prayer
- brainfuck
- c
- esolang
- esoteric-language