-
frunk
developers with a number of functional programming tools like HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid, Semigroup and friends
-
bpaf
Command Line Argument Parser with parser combinators
-
snocat
Streaming Network Overlay Connection Arbitration Tunnel
-
stillwater
Pragmatic effect composition and validation for Rust - pure core, imperative shell
-
rustica
functional programming library for the Rust language
-
result-like
Option/Result-like monad interface for your own enum
-
prop-check-rs
A Property-based testing Library in Rust
-
pen-ffi
FFI library for Pen programming language
-
leo3
Rust bindings for the Lean4 theorem prover
-
jonmo
ergonomic Bevy-native reactivity powered by FRP signals
-
zombie-rs
Zombie - automatic memory management through lazy eviction and recomputation
-
fp-library
A functional programming library for Rust featuring your favourite higher-kinded types and type classes
-
logicline
Logic processing engine
-
yerevan
Small Rust crate that brings computation expressions idea from F# for help you to work easier with functors and monads
-
cocoro
A more type-safe take on Rust stackless coroutines
-
TSPL
The Simplest Parser Library
-
gluon_c-api
C-api for gluon, a static, type inferred programming language for application embedding
-
dlexer
A high-performance, functional parser combinator library for Rust
-
kind2
A pure functional functional language that uses the HVM
-
re_types_builder
Generates code for Rerun's SDKs from flatbuffers definitions
-
fp_rust
Implement fp features for Rust
-
chomp1
A fast monadic-style parser combinator designed to work on stable Rust
-
higher-free-macro
macro that creates a (naive) Free Monad type based on a user-supplied Functor. It uses the traits from the "higher" crate. This macro is a port of the Control.Monad.Free part of the…
-
anpa
A generic monadic parser combinator library inspired by Haskell's parsec
-
deep_causality_haft
HKT traits for for the deep_causality crate
-
dvcompute_branch
Discrete event simulation library (nested simulation)
-
deep_causality_tensor
Tensor data structure for for deep_causality crate
-
syn_util
helper APIs for procedural macros
-
steel-imbl
Immutable collection datatypes
-
deep_causality_physics
Standard library of physics formulas and engineering primitives for DeepCausality
-
deep_causality_multivector
Multivector and MultiField implementation for DeepCausality
-
monad-monitor
A lightweight TUI monitor for Monad nodes
-
shades
An EDSL for shading languages
-
monadify
functional programming abstractions in Rust, focusing on Monads, Functors, Applicatives, and related concepts
-
combi
A combinators library with an included rust token parsing implementation
-
do-notation
Monadic do syntactic sugar
-
deep_causality_ethos
Programmable ethics for DeepCausality
-
deep_causality_discovery
Causality discovery DSL for the DeepCausality project
-
repr
The regular-expression-as-linear-logic interpretation and its implementation
-
nessie-parse
A parser library for easily combining parsers together
-
higher
Functors, Applicatives, Monads and other bad ideas
-
pretty-xmlish
Pretty print XML-ish data with unicode art
-
hvm1
A massively parallel functional runtime
-
monadic
macros to define Haskell style monadic action blocks for IntoIterators, Reader, Writer, State, and macros for the transformers ReaderT and WriterT over Vec, LinkedList and VecDeque
-
hs-bindgen
Handy macro to generate C-FFI bindings to Rust for Haskell
-
deep_causality_ast
AST data structure for deep_causality crate
-
rust2fun
functional programming in Rust
-
lambdust
A Scheme dialect with gradual typing and effect systems
-
rsmonad
Haskell-style monads for idiomatic Rust
-
cgp-monad
Monadic constructs for CGP computation
-
haskell_bits
Rust implementations of various Haskell typeclasses and functions
-
fugue-ppl
Production-ready monadic PPL with numerically stable inference, comprehensive diagnostics, and memory optimization
-
rspl
A stream processor language
-
chomp
A fast monadic-style parser combinator designed to work on stable Rust
-
monadlisa
MonadLisa
-
monads_ai
Experimental monadic architecture runner for autonomous AI
-
rapl
that makes numerical scripting with Rust simple and enjoyable
-
bitsparrow
in Rust
-
bevy_lazy_signals
An ad hoc, informally-specified, bug-ridden, kinda fast implementation of 1/3 of MIT-Scheme
-
lifted
Higher-kinded types in Rust
-
effing-mad
The hottest algebraic effects library in Rust
-
fp-core
functional programming in Rust
-
algar
Algebraic structures, higher-kinded types and other category theory bad ideas
-
pipeline_derive
A procedural macro crate to simplify building monadic-like data pipelines in Rust
-
monad-ai
Experimental monadic architecture runner for autonomous AI
-
libpcp
A constraint solver supporting arithmetic constraints over integers
-
mathelogos
as a functional programming language
-
pex
A nightly parser combinator library for Rust
-
rustz
functional programming in Rust
-
parser-haskell
Parses Haskell into an AST
-
hado
Monadic do notation using a macro
-
boolinator
trait, which lets you use Option and Result-style combinators with bools
-
kaguya_rs
Functional Programming tools and ADTs
-
qualified_do
Composable _qualified_ do expressions for Rust, supporting monad- and applicative-like structures
-
lispi
Lisp I interpreter
-
HOPA
A lightweight, higher-order parser
-
nar
Narc, a dependently-typed programming language with dependent pattern matching
-
rust2fun_laws
Laws for rust2fun
-
burrito-secrets
storing secrets in BSON format
-
deep_causality_core
Core types for deep_causality crate
-
algoroutine
Light-weight algebraic effect(algebraic goroutine) in Rust
-
ignore-result
Adds a
Result<_, _>.ignore()method to ignore the return value of a function call without panicking in case of error -
lubeck
Functional programming framework written in cutting edge rust
-
fmap
Functors in Rust
-
funlib
Rust functional library
-
qualified_do_proptest
Proptest integration for qualified_do, enabling alternative sytnax for prop_compose!
-
metatrait
RPITIT Monads
-
anylr
Provide
AnyOf<L, R>,SomeOf<L, R>,Either<L, R>, and traits -
overflow-proof
Monadic checked arithmetic for Rust
-
parsed
Parser combinators library
-
async-middleware
async monad(ish) middleware in Rust using tuples and async trait transforms
-
functo_rs
Control/Data/Unrestricted monad hierarchies for Rust to be used with qualified_do
-
all-this
Shared primitives, identity structures, and session logic for decentralized apps within the Neurons ecosystem
-
parsell
LL(1) streaming parser combinators
-
rusty-hkt
Higher-kinded types for Rust
-
rust_io
Macro implementation for [rust_io] defining several operators to be used emulating Haskel [do notation]
-
HOLP
A lightweight, higher-order parser
-
categorical
combining categorical random distributions and computing exact probabilities
-
async_monad
Asynchronous monad for rust
-
proptest-arbitrary
The Arbitrary trait for proptest and implementations for the standard library
-
ubt
Unified Binary Tree implementation based on EIP-7864
-
rendiation
project root placeholder crate
-
partial
Optional monad with fake variant
-
rust-fp-categories
A Functional Programming Library in Rust, Category
-
same-as
Type equality in stable Rust
-
dyn_derive
Inherit and derive object-unsafe traits for dynamic Rust
-
kinder
small crate which adds an algebraic structure to common Rust structs and emulates higher order types
-
terminal-juice
An opinionated terminal control library
-
nadfun_sdk
Rust SDK for Nad.fun
-
combpop
Type-based parser combinator
-
mdo
Monadic do notation for rust using macro and duck typing
-
morpho-rs-cli
CLI tool for querying Morpho vaults
-
typestuff
Mostly GAT-related type shenanigans. Here be Functors & Monads.
-
tailrec
Trait-based stack-safe recursion in Rust
-
map_for
macro that implements for comprehensions similar to Scala's
-
robopoker
Implementations of Meta's Pluribus No-Limit Texas Hold-Em solution
-
perhaps
Maybe monad implementation with a more intuitive name. Using Certain and Dubious instead of Just and Nothing
-
transaction
abstraction library (a.k.a. transaction monad)
-
bang_notation
!-notation for Rust
-
owner-monad
monad which provides ownership of an object
-
morpho-rs-api
Rust API library for querying Morpho V1 (MetaMorpho) and V2 vaults via GraphQL
-
promptor
functional, monadic command-line prompts
Try searching with DuckDuckGo or on crates.io.