crates.io "functional-programming" keyword
View the packages on the crates.io package registry that are tagged with the "functional-programming" keyword.
fp-library 0.0.11
A functional programming library for Rust featuring your favourite higher-kinded types and typecl...11 versions - Latest release: about 11 hours ago - 1.29 thousand downloads total - 0 stars on GitHub - 1 maintainer
vonuvoli-scheme 0.0.6 π°
vonuvoli-scheme -- a Scheme interpreter focused on systems programming and scripting, almost R7RS...6 versions - Latest release: about 7 years ago - 8.31 thousand downloads total - 178 stars on GitHub - 1 maintainer
dson 0.1.1 π°
A delta-state CRDT implementation3 versions - Latest release: 2 days ago - 1 dependent package - 1 dependent repositories - 2.29 thousand downloads total - 111 stars on GitHub - 2 maintainers
photonix 0.1.1
Solutions for functional optics.2 versions - Latest release: over 6 years ago - 1 dependent repositories - 2.96 thousand downloads total - 1 stars on GitHub - 1 maintainer
fp_rust 0.3.5
Implement fp features for Rust55 versions - Latest release: almost 4 years ago - 6 dependent packages - 3 dependent repositories - 88.5 thousand downloads total - 122 stars on GitHub - 1 maintainer
fetish-lib 0.1.1
(F)unctional (E)mbedding of (T)erms (I)n a (S)patial (H)ierarchy2 versions - Latest release: about 4 years ago - 2.86 thousand downloads total - 3 stars on GitHub - 1 maintainer
wysk 0.1.0
A statically typed functional language with type inference, ad-hoc polymorphism, and an extensibl...1 version - Latest release: about 3 years ago - 1.34 thousand downloads total - 6 stars on GitHub - 1 maintainer
or-iterator 0.1.1
Rust iterator which takes two iterators and returns non-empty one2 versions - Latest release: about 5 years ago - 1 dependent package - 1 dependent repositories - 4.03 thousand downloads total - 4 stars on GitHub - 1 maintainer
nanocom 0.2.1 π°
Nano-COM, extremly small subset of cross-platform COM5 versions - Latest release: over 2 years ago - 5.64 thousand downloads total - 54 stars on GitHub - 1 maintainer
uints 0.11.2 π°
Unsigned Integer Properties17 versions - Latest release: over 1 year ago - 5 dependent packages - 21 thousand downloads total - 3 stars on GitHub - 1 maintainer
lazy-prime-sieve 0.1.3
Lazy Sieve of Eratosthenes for infinitely generating primes lazily in Rust.4 versions - Latest release: about 2 years ago - 6.36 thousand downloads total - 1 stars on GitHub - 1 maintainer
strict_encoding 2.9.1 π°
Strict encoding: deterministic & confined binary serialization for strict types104 versions - Latest release: 2 months ago - 67 dependent packages - 43 dependent repositories - 339 thousand downloads total - 10 stars on GitHub - 1 maintainer
strict_encoding_test 2.8.0 π°
Helper functions for testing strict encodings18 versions - Latest release: 9 months ago - 6 dependent packages - 6 dependent repositories - 26.3 thousand downloads total - 10 stars on GitHub - 1 maintainer
strict_encoding_derive 2.8.0 π°
Strict encoding derivation macros28 versions - Latest release: 9 months ago - 7 dependent packages - 42 dependent repositories - 271 thousand downloads total - 10 stars on GitHub - 1 maintainer
arn-language 1.2.1
Rust parser for the Arn golfing language13 versions - Latest release: about 4 years ago - 17.4 thousand downloads total - 16 stars on GitHub - 1 maintainer
meowth 0.0.1
A library which provides abstractions for functional programming in Rust. Inspired by Scala libra...1 version - Latest release: over 2 years ago - 1.31 thousand downloads total - 1 stars on GitHub - 1 maintainer
u144 0.7.2 π°
Unsigned Integer 144 bits11 versions - Latest release: over 1 year ago - 11.6 thousand downloads total - 3 stars on GitHub - 1 maintainer
fuyu 0.1.2
The Fuyu programming language3 versions - Latest release: 10 months ago - 3.09 thousand downloads total - 3 stars on GitHub - 1 maintainer
lambda_mountain 1.16.40 π°
Typed Macro Assembler (backed by Coq proofs-of-correctness)415 versions - Latest release: 10 months ago - 2 dependent packages - 487 thousand downloads total - 7 stars on GitHub - 1 maintainer
yagen 0.3.1 π°
Yet Another Generator Implementation4 versions - Latest release: over 1 year ago - 4.64 thousand downloads total - 3 stars on GitHub - 1 maintainer
sha2-compress 0.7.2 π°
SHA2 compress function16 versions - Latest release: over 1 year ago - 17.5 thousand downloads total - 3 stars on GitHub - 1 maintainer
lamb 0.1.0
Pure untyped lambda calculus in safe Rust.1 version - Latest release: over 2 years ago - 1.36 thousand downloads total - 7 stars on GitHub - 1 maintainer
bin-tree 0.10.1 π°
Building Binary Tree17 versions - Latest release: over 1 year ago - 18.4 thousand downloads total - 3 stars on GitHub - 1 maintainer
SQUICD 0.1.1
Squicd is a Domain-Specific Language (DSL) in Rust designed to simplify the creation of QUIC-base...2 versions - Latest release: 9 months ago - 1.41 thousand downloads total - 95 stars on GitHub - 1 maintainer
list-fn 0.20.1 π°
A generic lazy list37 versions - Latest release: over 1 year ago - 2 dependent packages - 41.2 thousand downloads total - 3 stars on GitHub - 1 maintainer
fixed-array 0.4.1 π°
Fixed-size array6 versions - Latest release: over 1 year ago - 2 dependent packages - 10.5 thousand downloads total - 3 stars on GitHub - 1 maintainer
hypershell 0.1.0
Modular DSL for shellscripting in Rust2 versions - Latest release: about 1 month ago - 522 downloads total - 115 stars on GitHub - 1 maintainer
cgp-run 0.4.2
Context-generic programming runner component8 versions - Latest release: 20 days ago - 6.46 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-handler 0.4.2
Generalized handler interfaces for functional programming4 versions - Latest release: 20 days ago - 993 downloads total - 115 stars on GitHub - 1 maintainer
cgp-runtime 0.4.2
Context-generic programming core component traits6 versions - Latest release: 20 days ago - 2.24 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-component-macro-lib 0.3.0
Context-generic programming core component macros implemented as a library.3 versions - Latest release: 7 months ago - 5.61 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-error 0.4.2
Context-generic programming error components9 versions - Latest release: 20 days ago - 7.42 thousand downloads total - 115 stars on GitHub - 1 maintainer
hypershell-tokio-components 0.1.0
Modular DSL for shellscripting in Rust2 versions - Latest release: about 1 month ago - 539 downloads total - 115 stars on GitHub - 1 maintainer
hypershell-json-components 0.1.0
Modular DSL for shellscripting in Rust2 versions - Latest release: about 1 month ago - 526 downloads total - 115 stars on GitHub - 1 maintainer
cgp-sync 0.4.2
Async-generic primitives to support both sync/async in context-generic programming8 versions - Latest release: 20 days ago - 4.71 thousand downloads total - 115 stars on GitHub - 1 maintainer
hypershell-reqwest-components 0.1.0
Modular DSL for shellscripting in Rust2 versions - Latest release: about 1 month ago - 524 downloads total - 115 stars on GitHub - 1 maintainer
cgp-error-std 0.4.2
Context-generic programming error handlers implemented using `std::error::Error`7 versions - Latest release: 20 days ago - 3.16 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-inner 0.4.2
Context-generic programming inner component8 versions - Latest release: 20 days ago - 6.51 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-field 0.4.2
Context-generic programming field traits8 versions - Latest release: 20 days ago - 6.73 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-error-anyhow 0.4.2
Context-generic programming error handlers implemented using eyre6 versions - Latest release: 20 days ago - 1.87 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-async 0.4.2
Async-generic primitives to support both sync/async in context-generic programming8 versions - Latest release: 20 days ago - 6.93 thousand downloads total - 115 stars on GitHub - 1 maintainer
hypershell-components 0.1.0
Modular DSL for shellscripting in Rust2 versions - Latest release: about 1 month ago - 566 downloads total - 115 stars on GitHub - 1 maintainer
hypershell-hash-components 0.1.0
Modular DSL for shellscripting in Rust1 version - Latest release: about 1 month ago - 239 downloads total - 115 stars on GitHub - 1 maintainer
hypershell-tungstenite-components 0.1.0
Modular DSL for shellscripting in Rust2 versions - Latest release: about 1 month ago - 502 downloads total - 115 stars on GitHub - 1 maintainer
cgp 0.4.2
Main crate for using context-generic programming9 versions - Latest release: 20 days ago - 7.03 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-error-extra 0.4.2
Context-generic programming error components6 versions - Latest release: 20 days ago - 2.25 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-type 0.4.2
Context-generic programming core component traits7 versions - Latest release: 20 days ago - 3.75 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-field-macro-lib 0.3.0
Context-generic programming field macros as a library3 versions - Latest release: 7 months ago - 5.39 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-extra 0.4.2
Context-generic programming extra meta-crate8 versions - Latest release: 20 days ago - 6.36 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-field-macro 0.3.0
Context-generic programming field macros3 versions - Latest release: 7 months ago - 5.33 thousand downloads total - 115 stars on GitHub - 1 maintainer
hypershell-macro 0.1.0
Modular DSL for shellscripting in Rust2 versions - Latest release: about 1 month ago - 526 downloads total - 115 stars on GitHub - 1 maintainer
cgp-core 0.4.2
Context-generic programming core traits9 versions - Latest release: 20 days ago - 7.28 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-async-macro 0.4.2
Context-generic programming async macros8 versions - Latest release: 20 days ago - 7.05 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-error-eyre 0.4.2
Context-generic programming error handlers implemented using eyre7 versions - Latest release: 20 days ago - 4.56 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-dispatch 0.4.2
Generalized handler interfaces for functional programming2 versions - Latest release: 20 days ago - 379 downloads total - 115 stars on GitHub - 1 maintainer
cgp-macro 0.4.2
Context-generic programming core component macros5 versions - Latest release: 20 days ago - 1.58 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-macro-lib 0.4.2
Context-generic programming core component macros implemented as a library.5 versions - Latest release: 20 days ago - 1.57 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-component 0.4.2
Core CGP traits and types used for implementing the CGP component system8 versions - Latest release: 20 days ago - 7.05 thousand downloads total - 115 stars on GitHub - 1 maintainer
cgp-component-macro 0.3.0
Context-generic programming core component macros3 versions - Latest release: 7 months ago - 5.56 thousand downloads total - 115 stars on GitHub - 1 maintainer
ein-ffi 0.6.0
FFI library for Ein programming language19 versions - Latest release: about 4 years ago - 2 dependent repositories - 30.1 thousand downloads total - 34 stars on GitHub - 1 maintainer
rust2fun_macros 0.2.1
Procedural macros for rust2fun3 versions - Latest release: almost 2 years ago - 1 dependent package - 1 dependent repositories - 4.26 thousand downloads total - 28 stars on GitHub - 1 maintainer
funfun 0.2.4
Macros for working with closures.6 versions - Latest release: almost 7 years ago - 8.79 thousand downloads total - 1 stars on GitHub - 1 maintainer
ukanren 0.0.5 π°
Rust implementation of Β΅Kanren, a featherweight relational programming language.5 versions - Latest release: almost 4 years ago - 5.59 thousand downloads total - 113 stars on GitHub - 1 maintainer
alure 0.1.0 π°
AluVM runtime environment1 version - Latest release: about 4 years ago - 1.58 thousand downloads total - 62 stars on GitHub - 1 maintainer
publish-ws 0.1.11 π°
Publish Workspace Packages10 versions - Latest release: over 1 year ago - 11.4 thousand downloads total - 3 stars on GitHub - 1 maintainer
iterify 0.1.2
Turn any type into an iterator with closures!3 versions - Latest release: about 3 years ago - 3.41 thousand downloads total - 0 stars on GitHub - 1 maintainer
rust2fun 0.2.1
A library for functional programming in Rust3 versions - Latest release: almost 2 years ago - 1 dependent package - 3.76 thousand downloads total - 28 stars on GitHub - 1 maintainer
aluvm 0.12.0 π°
Functional registry-based RISC virtual machine45 versions - Latest release: 17 days ago - 3 dependent packages - 14 dependent repositories - 129 thousand downloads total - 62 stars on GitHub - 1 maintainer
lim-bit-vec 0.8.2 π°
Limited bit vectors16 versions - Latest release: over 1 year ago - 1 dependent package - 17.6 thousand downloads total - 3 stars on GitHub - 1 maintainer
deskc-hir 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 8 dependent packages - 1 dependent repositories - 5.91 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-evalmir 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.46 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-mir 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 2 dependent packages - 2.38 thousand downloads total - 111 stars on GitHub - 1 maintainer
desk-physics 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: over 2 years ago - 1.42 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-file 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 4 dependent packages - 6.33 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-conc-types 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: over 2 years ago - 1.41 thousand downloads total - 111 stars on GitHub - 1 maintainer
desk-theme 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 2 dependent packages - 2.33 thousand downloads total - 111 stars on GitHub - 1 maintainer
desk-x 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.42 thousand downloads total - 111 stars on GitHub - 1 maintainer
dworkspace-codebase 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: over 2 years ago - 1 dependent package - 1.75 thousand downloads total - 111 stars on GitHub - 1 maintainer
dkernel 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.41 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-language-server 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.45 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-amirgen 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.44 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-parser 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 5 dependent packages - 4.55 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-concretizer 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.49 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-hirgen 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 4 dependent packages - 1 dependent repositories - 4.15 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-typeinfer 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 3 dependent packages - 1 dependent repositories - 3.74 thousand downloads total - 111 stars on GitHub - 1 maintainer
dwm 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.46 thousand downloads total - 111 stars on GitHub - 1 maintainer
desk-window 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: over 2 years ago - 1 dependent package - 1.73 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-thir2dson 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.41 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-thirgen 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.47 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1 dependent repositories - 1.43 thousand downloads total - 111 stars on GitHub - 1 maintainer
desk-ui 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.42 thousand downloads total - 111 stars on GitHub - 1 maintainer
desk-command 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: over 2 years ago - 1 dependent package - 1.79 thousand downloads total - 111 stars on GitHub - 1 maintainer
desk-guide 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: over 2 years ago - 1.33 thousand downloads total - 111 stars on GitHub - 1 maintainer
dkernel-in-memory 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.43 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-lexer 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 6 dependent packages - 4.91 thousand downloads total - 111 stars on GitHub - 1 maintainer
desk-egui 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 1.44 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-types 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 15 dependent packages - 7.63 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-tokens 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 2 dependent packages - 5.54 thousand downloads total - 111 stars on GitHub - 1 maintainer
desk-terminal 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: over 2 years ago - 1.36 thousand downloads total - 111 stars on GitHub - 1 maintainer
deskc-link 0.0.0 π°
The application platform for your cyberpunk desk1 version - Latest release: about 3 years ago - 5 dependent packages - 8.84 thousand downloads total - 111 stars on GitHub - 1 maintainer
Related Keywords
rust
78
statically-typed
54
algebraic-effects
52
high-code
52
visual-programming
52
modular-programming
33
cgp
33
lazy-evaluation
15
iterator
13
functional
13
uint
11
sha2
11
bit-iterator
11
bit-vector
11
fixed-array
11
uint144
11
lazy-lists
11
rust-crate
11
rust-workspace
11
programming-language
8
async
8
ui
7
compiler
6
interpreter
6
language
5
type-theory
5
category-theory
5
monad
5
functor
5
macro
4
no-std
4
rust-library
4
rust-lang
4
serialization-library
3
type-safety
3
serialization-format
3
gadt
3
lambda-calculus
3
proc-macro
3
concurrency
3
parser
3
combinator
3
validated
3
non-empty-collections
3
monoid
3
applicative
3
crate
3
risc
2
fuyulang
2
lazy
2
library
2
programming-language-theory
2
smart-contracts
2
microcontrollers
2
instruction-set-architecture
2
embedded-systems
2
edge-computing
2
blockchain
2
emulator
2
derive
2
fp
2
virtual-machine
2
concurrent
2
fuyu
2
pipe
2
lenses
2
optics
2
strict-encoding
2
pipeline
2
monads
2
ast
2
programming-language-development
1
mathematics
1
declarative
1
minikanren
1
microkanren
1
kanren
1
prolog
1
logic-programming
1
parallel
1
memory-allocation
1
typed-lambda-calculus
1
whole-program-analysis
1
mutability
1
proof-assistant
1
dependent-types
1
formality
1
moonad
1
proof-language
1
proof-languages
1
theorem-prover
1
math
1
utility
1
no_std
1
function
1
functions
1
lib
1
macros
1
paradigm
1
trait
1