Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "functional-programming" keyword

lambda_mountain 1.16.40 💰
Typed Macro Assembler (backed by Coq proofs-of-correctness)
415 versions - Latest release: over 1 year ago - 2 dependent packages - 538 thousand downloads total - 7 stars on GitHub - 1 maintainer
kind2 0.3.10
A pure functional functional language that uses the HVM.
65 versions - Latest release: almost 3 years ago - 76 thousand downloads total - 3,493 stars on GitHub - 3 maintainers
desk-theme 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 2 dependent packages - 2.82 thousand downloads total - 113 stars on GitHub - 1 maintainer
deskc-hirgen 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 4 dependent packages - 1 dependent repositories - 5.26 thousand downloads total - 113 stars on GitHub - 1 maintainer
typed-ski 0.14.16
SKI calculus evaluator in Rust compiled to WASM
37 versions - Latest release: about 1 month ago - 639 downloads total - 14 stars on GitHub - 1 maintainer
fetish-lib 0.1.1
(F)unctional (E)mbedding of (T)erms (I)n a (S)patial (H)ierarchy
2 versions - Latest release: almost 5 years ago - 3.2 thousand downloads total - 3 stars on GitHub - 1 maintainer
uints 0.11.2 💰
Unsigned Integer Properties
17 versions - Latest release: over 2 years ago - 5 dependent packages - 24 thousand downloads total - 3 stars on GitHub - 1 maintainer
bin-tree 0.10.1 💰
Building Binary Tree
17 versions - Latest release: over 2 years ago - 20.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
deskc-thir 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 3 dependent packages - 3.41 thousand downloads total - 112 stars on GitHub - 1 maintainer
chained 0.1.1
A library for lazily chaining functions
2 versions - Latest release: about 3 years ago - 1.85 thousand downloads total - 2 stars on GitHub - 1 maintainer
lim-bit-vec 0.8.2 💰
Limited bit vectors
16 versions - Latest release: over 2 years ago - 1 dependent package - 20 thousand downloads total - 3 stars on GitHub - 1 maintainer
deskc-ids 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 6 dependent packages - 1 dependent repositories - 5.1 thousand downloads total - 112 stars on GitHub - 1 maintainer
dworkspace-in-memory 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: over 3 years ago - 1.54 thousand downloads total - 113 stars on GitHub - 1 maintainer
desk-window 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: over 3 years ago - 1 dependent package - 2.1 thousand downloads total - 113 stars on GitHub - 1 maintainer
deskc-amir 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 3 dependent packages - 3.92 thousand downloads total - 113 stars on GitHub - 1 maintainer
desk-system-ordering 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: over 3 years ago - 1 dependent package - 2.2 thousand downloads total - 113 stars on GitHub - 1 maintainer
desk-x-theme 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1 dependent package - 2.85 thousand downloads total - 113 stars on GitHub - 1 maintainer
deskc-lexer 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 6 dependent packages - 6.2 thousand downloads total - 113 stars on GitHub - 1 maintainer
deskc-file 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 4 dependent packages - 8.03 thousand downloads total - 113 stars on GitHub - 1 maintainer
desk-x-egui-plugin 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1 dependent package - 2.29 thousand downloads total - 113 stars on GitHub - 1 maintainer
list-fn 0.20.1 💰
A generic lazy list
37 versions - Latest release: over 2 years ago - 2 dependent packages - 46.2 thousand downloads total - 3 stars on GitHub - 1 maintainer
aluvm 0.12.0 💰
Functional registry-based RISC virtual machine
45 versions - Latest release: 9 months ago - 3 dependent packages - 14 dependent repositories - 160 thousand downloads total - 63 stars on GitHub - 1 maintainer
rust-fp-categories 0.0.5 💰
A Functional Programming Library in Rust, Category
5 versions - Latest release: over 5 years ago - 4 dependent packages - 3 dependent repositories - 25.5 thousand downloads total - 15 stars on GitHub - 1 maintainer
deskc-dson 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1 dependent package - 2.26 thousand downloads total - 112 stars on GitHub - 1 maintainer
cgp-serde-alloc 0.2.0
Arena-based deserialization using cgp-serde
5 versions - Latest release: 19 days ago - 892 downloads total - 234 stars on GitHub - 1 maintainer
hooks-derive-core 1.1.0-alpha.8
Compile-time, async hooks
8 versions - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 11.3 thousand downloads total - 3 stars on GitHub - 1 maintainer
hooks-core 3.0.0-alpha.6
Compile-time, async hooks
20 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 24.8 thousand downloads total - 7 stars on GitHub - 1 maintainer
cgp-macro 0.7.0
Context-generic programming core component macros
14 versions - Latest release: 22 days ago - 32.6 thousand downloads total - 163 stars on GitHub - 1 maintainer
functor_derive 0.4.3
A derive macro to derive a functor for a type.
15 versions - Latest release: almost 2 years ago - 38.9 thousand downloads total - 21 stars on GitHub - 2 maintainers
desk-command 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: over 3 years ago - 1 dependent package - 2.17 thousand downloads total - 112 stars on GitHub - 1 maintainer
deskc-parser 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 5 dependent packages - 5.73 thousand downloads total - 113 stars on GitHub - 1 maintainer
yagen 0.3.1 💰
Yet Another Generator Implementation
4 versions - Latest release: over 2 years ago - 5.29 thousand downloads total - 3 stars on GitHub - 1 maintainer
algar 0.4.1
Algebraic structures, higher-kinded types and other category theory bad ideas
7 versions - Latest release: about 3 years ago - 9.56 thousand downloads total - 23 stars on GitHub - 1 maintainer
hypershell 0.1.0
Modular DSL for shellscripting in Rust
2 versions - Latest release: 9 months ago - 929 downloads total - 166 stars on GitHub - 1 maintainer
u144 0.7.2 💰
Unsigned Integer 144 bits
11 versions - Latest release: over 2 years ago - 13.1 thousand downloads total - 3 stars on GitHub - 1 maintainer
cgp-error 0.7.0
Context-generic programming error components
18 versions - Latest release: 22 days ago - 41.3 thousand downloads total - 169 stars on GitHub - 1 maintainer
cgp-error-extra 0.7.0
Context-generic programming error components
15 versions - Latest release: 22 days ago - 31.8 thousand downloads total - 163 stars on GitHub - 1 maintainer
deskc-thir2dson 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1.67 thousand downloads total - 112 stars on GitHub - 1 maintainer
deskc-link 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 5 dependent packages - 11.2 thousand downloads total - 112 stars on GitHub - 1 maintainer
hooks 3.0.0-alpha.15
Compile-time, async hooks
44 versions - Latest release: over 1 year ago - 1 dependent package - 5 dependent repositories - 50.5 thousand downloads total - 7 stars on GitHub - 1 maintainer
cgp-field-macro 0.3.0
Context-generic programming field macros
3 versions - Latest release: about 1 year ago - 8.85 thousand downloads total - 197 stars on GitHub - 1 maintainer
u160 0.2.1 💰
Unsigned Integer 160 bits
4 versions - Latest release: over 2 years ago - 5.04 thousand downloads total - 3 stars on GitHub - 1 maintainer
deskc-typeinfer 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 3 dependent packages - 1 dependent repositories - 4.72 thousand downloads total - 113 stars on GitHub - 1 maintainer
photonix 0.1.1
Solutions for functional optics.
2 versions - Latest release: about 7 years ago - 1 dependent repositories - 3.25 thousand downloads total - 1 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: almost 4 years ago - 1.57 thousand downloads total - 6 stars on GitHub - 1 maintainer
sha2-compress 0.7.2 💰
SHA2 compress function
16 versions - Latest release: over 2 years ago - 19.7 thousand downloads total - 3 stars on GitHub - 1 maintainer
cgp-async-macro 0.7.0
Context-generic programming async macros
17 versions - Latest release: 22 days ago - 41 thousand downloads total - 166 stars on GitHub - 1 maintainer
cgp-type 0.7.0
Context-generic programming core component traits
16 versions - Latest release: 22 days ago - 34.7 thousand downloads total - 166 stars on GitHub - 1 maintainer
cgp-field-extra 0.7.0
Context-generic programming field traits
9 versions - Latest release: 22 days ago - 25.6 thousand downloads total - 234 stars on GitHub - 1 maintainer
deskc-evalmir 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1.7 thousand downloads total - 112 stars on GitHub - 1 maintainer
rust-tagged 1.0.1
A lightweight tagged type abstraction for type-safe IDs, etc.
9 versions - Latest release: 4 months ago - 2.4 thousand downloads total - 5 stars on GitHub - 1 maintainer
publish-ws 0.1.11 💰
Publish Workspace Packages
10 versions - Latest release: over 2 years ago - 12.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
hypershell-tungstenite-components 0.1.0
Modular DSL for shellscripting in Rust
2 versions - Latest release: 9 months ago - 907 downloads total - 196 stars on GitHub - 1 maintainer
cgp-extra-macro 0.7.0
Context-generic programming extra component macros
9 versions - Latest release: 22 days ago - 25.6 thousand downloads total - 163 stars on GitHub - 1 maintainer
rust2fun_laws 0.2.1
Laws for rust2fun
3 versions - Latest release: over 2 years ago - 3.96 thousand downloads total - 29 stars on GitHub - 1 maintainer
cgp-field-macro-lib 0.3.0
Context-generic programming field macros as a library
3 versions - Latest release: about 1 year ago - 9.04 thousand downloads total - 204 stars on GitHub - 1 maintainer
cgp-core 0.7.0
Context-generic programming core traits
18 versions - Latest release: 22 days ago - 40.9 thousand downloads total - 163 stars on GitHub - 1 maintainer
mathelogos 0.1.1
Library to make Rust as a functional programming language.
2 versions - Latest release: almost 2 years ago - 2.66 thousand downloads total - 3 stars on GitHub - 1 maintainer
cgp-component-macro 0.3.0
Context-generic programming core component macros
3 versions - Latest release: about 1 year ago - 9.09 thousand downloads total - 204 stars on GitHub - 1 maintainer
hooks-macro 0.2.0
Compile-time, async hooks
4 versions - Latest release: almost 2 years ago - 1 dependent package - 5.67 thousand downloads total - 7 stars on GitHub - 1 maintainer
nanocom 0.2.1 💰
Nano-COM, extremly small subset of cross-platform COM
5 versions - Latest release: over 3 years ago - 6.49 thousand downloads total - 59 stars on GitHub - 1 maintainer
cgp-extra-macro-lib 0.7.0
Context-generic programming extra component macros implemented as a library.
9 versions - Latest release: 22 days ago - 25.7 thousand downloads total - 166 stars on GitHub - 1 maintainer
iterify 0.1.2
Turn any type into an iterator with closures!
3 versions - Latest release: over 3 years ago - 3.94 thousand downloads total - 0 stars on GitHub - 1 maintainer
into-sorted 0.0.3
Collection of utility methods and functions that take an owned array and return a sorted owned array
4 versions - Latest release: 8 months ago - 4.23 thousand downloads total - 2 stars on GitHub - 1 maintainer
deskc-ast 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 5 dependent packages - 1 dependent repositories - 7.1 thousand downloads total - 112 stars on GitHub - 1 maintainer
hypershell-tokio-components 0.1.0
Modular DSL for shellscripting in Rust
2 versions - Latest release: 9 months ago - 1.31 thousand downloads total - 197 stars on GitHub - 1 maintainer
desk-ui 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1.7 thousand downloads total - 113 stars on GitHub - 1 maintainer
ukanren 0.0.5 💰
Rust implementation of µKanren, a featherweight relational programming language.
5 versions - Latest release: over 4 years ago - 6.42 thousand downloads total - 115 stars on GitHub - 1 maintainer
desk-guide 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: over 3 years ago - 1.59 thousand downloads total - 113 stars on GitHub - 1 maintainer
lamb 0.1.0
Pure untyped lambda calculus in safe Rust.
1 version - Latest release: about 3 years ago - 1.58 thousand downloads total - 7 stars on GitHub - 1 maintainer
deskc-thirgen 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1.73 thousand downloads total - 113 stars on GitHub - 1 maintainer
desk-x 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1.69 thousand downloads total - 113 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: about 1 year ago - 9.26 thousand downloads total - 197 stars on GitHub - 1 maintainer
cgp-inner 0.4.2
Context-generic programming inner component
12 versions - Latest release: 9 months ago - 16.7 thousand downloads total - 163 stars on GitHub - 1 maintainer
l1_ir 💰
L1 Intermediate Representation
52 versions - Latest release: 9 days ago - 2 dependent packages - 1 dependent repositories - 62.9 thousand downloads total - 7 stars on GitHub - 1 maintainer
cgp-serde 0.2.0
CGP-enabled serde implementation
5 versions - Latest release: 19 days ago - 1.32 thousand downloads total - 163 stars on GitHub - 1 maintainer
piperize 0.1.6
A rust crate to easily create a new trait function inspired by elixir's piping function declaration
9 versions - Latest release: 11 days ago - 91 downloads total - 4 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: almost 8 years ago - 9.08 thousand downloads total - 180 stars on GitHub - 1 maintainer
cgp-macro-lib 0.7.0
Context-generic programming core component macros implemented as a library.
14 versions - Latest release: 22 days ago - 32.3 thousand downloads total - 166 stars on GitHub - 1 maintainer
desk-physics 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: over 3 years ago - 1.69 thousand downloads total - 112 stars on GitHub - 1 maintainer
cgp-serde-typed-arena 0.2.0
Arena-based deserialization using cgp-serde
5 versions - Latest release: 19 days ago - 761 downloads total - 234 stars on GitHub - 1 maintainer
fp-library 0.13.0
A functional programming library for Rust featuring your favourite higher-kinded types and type c...
39 versions - Latest release: 10 days ago - 6.91 thousand downloads total - 0 stars on GitHub - 1 maintainer
deskc-amirgen 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1.69 thousand downloads total - 112 stars on GitHub - 1 maintainer
fp_rust 0.3.5
Implement fp features for Rust
55 versions - Latest release: over 4 years ago - 6 dependent packages - 3 dependent repositories - 98.7 thousand downloads total - 122 stars on GitHub - 1 maintainer
dwm 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1.76 thousand downloads total - 112 stars on GitHub - 1 maintainer
cgp-async 0.4.2
Async-generic primitives to support both sync/async in context-generic programming
8 versions - Latest release: 9 months ago - 14 thousand downloads total - 234 stars on GitHub - 1 maintainer
deskc-conc-types 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: over 3 years ago - 1.66 thousand downloads total - 112 stars on GitHub - 1 maintainer
cgp-error-anyhow 0.7.0
Context-generic programming error handlers implemented using eyre
15 versions - Latest release: 22 days ago - 18 thousand downloads total - 234 stars on GitHub - 1 maintainer
hypershell-macro 0.1.0
Modular DSL for shellscripting in Rust
2 versions - Latest release: 9 months ago - 1.06 thousand downloads total - 197 stars on GitHub - 1 maintainer
desk-terminal 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: over 3 years ago - 1.63 thousand downloads total - 112 stars on GitHub - 1 maintainer
hypershell-reqwest-components 0.1.0
Modular DSL for shellscripting in Rust
2 versions - Latest release: 9 months ago - 1.06 thousand downloads total - 166 stars on GitHub - 1 maintainer
cgp-serde-extra 0.2.0
Extra providers for Serde serialization of bytes and dates
5 versions - Latest release: 19 days ago - 753 downloads total - 163 stars on GitHub - 1 maintainer
cgp-serde-json 0.2.0
CGP wrapper around serde_json
5 versions - Latest release: 19 days ago - 767 downloads total - 197 stars on GitHub - 1 maintainer
cgp-sync 0.4.2
Async-generic primitives to support both sync/async in context-generic programming
8 versions - Latest release: 9 months ago - 9.19 thousand downloads total - 163 stars on GitHub - 1 maintainer
deskc-fmt 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1.67 thousand downloads total - 112 stars on GitHub - 1 maintainer
cgp-component 0.7.0
Core CGP traits and types used for implementing the CGP component system
17 versions - Latest release: 22 days ago - 40.1 thousand downloads total - 163 stars on GitHub - 1 maintainer
deskc 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 1 dependent repositories - 1.67 thousand downloads total - 112 stars on GitHub - 1 maintainer
cgp-field 0.7.0
Context-generic programming field traits
17 versions - Latest release: 22 days ago - 39.4 thousand downloads total - 163 stars on GitHub - 1 maintainer
deskc-mir 0.0.0 💰
The application platform for your cyberpunk desk
1 version - Latest release: almost 4 years ago - 2 dependent packages - 2.87 thousand downloads total - 112 stars on GitHub - 1 maintainer
ein-ffi 0.6.0
FFI library for Ein programming language
19 versions - Latest release: almost 5 years ago - 2 dependent repositories - 32.7 thousand downloads total - 34 stars on GitHub - 1 maintainer
Related Keywords
rust 92 statically-typed 53 algebraic-effects 52 visual-programming 51 high-code 51 modular-programming 43 cgp 43 lazy-evaluation 15 functional 14 iterator 13 bit-iterator 11 bit-vector 11 fixed-array 11 lazy-lists 11 rust-crate 11 rust-workspace 11 sha2 11 uint 11 uint144 11 programming-language 8 async 8 ui 7 compiler 6 interpreter 6 functor 5 monad 5 category-theory 5 crate 5 rust-lang 5 language 5 type-theory 5 no-std 5 macro 4 rust-library 4 combinator 4 fp 3 proc-macro 3 lenses 3 parser 3 applicative 3 monoid 3 lambda-calculus 3 validated 3 non-empty-collections 3 type-safety 3 serialization-library 3 serialization-format 3 gadt 3 fuyulang 2 logic-programming 2 derive 2 prolog 2 kanren 2 trait 2 monads 2 utility 2 optics 2 ast 2 fuyu 2 concurrency 2 concurrent 2 strict-encoding 2 wasm 2 combinators 2 pipeline 2 lazy 2 pipe 2 library 2 edge-computing 2 emulator 2 risc 2 virtual-machine 2 programming-language-theory 2 blockchain 2 embedded-systems 2 instruction-set-architecture 2 microcontrollers 2 smart-contracts 2 publisher-subscriber-pattern 1 publisher-subscriber 1 reactive 1 reactive-programming 1 programming 1 chatgpt 1 chatgpt-api 1 chatgpt-api-wrapper 1 gram 1 memory-allocation 1 parallel 1 or 1 dsl 1 smt 1 constraint-logic-programming 1 test-helpers 1 tagless 1 types 1 hkt 1 higher-kinded 1 data-structures 1 higher-kinded-types 1