An undergraduate at Moscow State University. Write Rust and Haskell most of the time.
-
Moscow State University
- Moscow
Pinned Loading
-
norem-draft-2
norem-draft-2 PublicA modern functional programming language with effect system.
Rust 19
-
norem-draft-1
norem-draft-1 PublicA native-compiled functional programming language. The word "norem" stands for "not really monadic".
Rust 10
-
RuCalculus
RuCalculus PublicForked from ProjectDimlight/RuCalculus
入墨答Rumbda, the Chinese expression of lambda calculus
Haskell
-
CombVM-rust
CombVM-rust PublicA combinator-based virtual machine with a repl.(Written in rust)
Rust 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.