Io Monad
5 projects
Showing 5 of 5 projects
CaqtiOCaml
A monadic cooperative-threaded OCaml connector API for relational databases with driver support for MariaDB, PostgreSQL, and SQLite.
#database#mirageos#async
Stars355
Forks44
Last commit2 days ago
BasisSwift
A Swift library exploring pure declarative programming with algebraic structures, combinators, and functional patterns.
#declarative-programming#functional-programming#type-safety
Stars318
Forks11
Last commit8 years ago
FIOF#
A type-safe, purely functional effect system for building asynchronous and concurrent applications in F#.
#functional-programming#parallel-computing#parallel-programming
Stars95
Forks0
Last commit3 days ago
Simple IORocq Prover
A library providing a purely functional IO monad for Coq, enabling direct implementation of IO programs with OCaml bindings.
#functional-programming#command-line-tools#coq
Stars34
Forks8
Last commit1 month ago
Fxp-as3ActionScript
A functional programming library for ActionScript 3, providing core FP features, monads, and utilities.
#actionscript-3#functional-programming#flash
Stars3
Forks0
Last commit4 years ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.