Repository Index

C# pure functional programming framework - come and get declarative!

• c-sharp
• functional-languages
• monads
• monad-transformers

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

• cats
• either
• fp
• functional

A collection of well known Algebraic Data Types for your utter enjoyment.

• adt
• predicate-functions
• lift
• unary-functions

An advanced, but easy to use, platform for writing functional applications in Java 8.

• functional-programming
• reactive-streams
• monoid
• streams

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

🥃 Functional Algebraic Data Types

• functional-programming
• monads
• monoids
• utilities

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

• clojure
• category-theory
• clojure-library
• monad

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

• ocaml
• linenoise
• readline
• standalone

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Hanoi tower in Coq

Elixir NIFs for interacting with llama_cpp.rust managed GGUF models.

Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.

• csv
• dll
• duckdb
• duckdb-database

V wrapper of https://github.com/JCash/voronoi