An undergraduate at Moscow State University. Write Rust and Haskell most of the time.
-
Moscow State University
- Moscow
Block or Report
Block or report AntonPing
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
norem-draft-2
norem-draft-2 PublicA modern functional programming language with effect system.
Rust 18
-
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.