rust 78 statically-typed 54 algebraic-effects 52 high-code 52 visual-programming 52 cgp 33 modular-programming 33 lazy-evaluation 15 functional 13 iterator 13 sha2 11 uint 11 uint144 11 rust-workspace 11 rust-crate 11 lazy-lists 11 fixed-array 11 bit-vector 11 bit-iterator 11 async 8 programming-language 8 ui 7 interpreter 6 compiler 6 type-theory 5 language 5 functor 5 category-theory 5 monad 5 rust-lang 4 rust-library 4 no-std 4 macro 4 gadt 3 serialization-format 3 serialization-library 3 type-safety 3 proc-macro 3 parser 3 lambda-calculus 3 applicative 3 combinator 3 monoid 3 non-empty-collections 3 validated 3 crate 3 concurrency 3 emulator 2 ast 2 risc 2 virtual-machine 2 blockchain 2 strict-encoding 2 lazy 2 edge-computing 2 embedded-systems 2 instruction-set-architecture 2 microcontrollers 2 smart-contracts 2 fp 2 fuyu 2 programming-language-theory 2 monads 2 fuyulang 2 library 2 concurrent 2 pipe 2 derive 2 pipeline 2 lenses 2 optics 2 native 1 websocket 1 cross-platform 1 wasm 1 mutability 1 declarative 1 minikanren 1 microkanren 1 kanren 1 prolog 1 logic-programming 1 parallel 1 memory-allocation 1 com 1 abi 1 xpcom 1 closure 1 immutable 1 embedding 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