Skip to content
Avatar
🇺🇦
RISC-V ISA F# formal specification development
🇺🇦
RISC-V ISA F# formal specification development
44 followers · 0 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@irony-rust @aurora-is-near
Block or Report

Block or report mrLSD

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
mrLSD/README.md

About me

Ph.D. of Philosophy, research, mathematician, programmer, blockchain specialist.

More than 20 years of professional development experience. My favorite languages: Rust, Haskell, F#, Go, etc.

My own favorite development Projects

  • mrLSD/iLang - programming language and compiler from scratch. My fun project. Work in progress.
  • mrLSD/riscv-fs - F# RISC-V Instruction Set formal specification .

Recent blockchain projects

  • Aurora - Aurora Core developer
  • Aurora Engine - Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.

My Recent activities

Contact info

Github stats

mrLSD's github stats

Pinned

  1. riscv-fs Public

    F# RISC-V Instruction Set formal specification

    F# 181 18

  2. aurora-is-near/aurora-engine Public

    ⚙️ Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.

    Rust 186 41

  3. iLang Public

    iLang - a functional programming language and compiler

    Rust 3 1

  4. iron-cms Public

    CMS based on Iron Framework for Rust lang

    Rust 42 8

  5. go-benchmark-app Public

    Application for HTTP benchmarking via different rules and configs

    Go 22 5

  6. irony-rust/nickel-cms Public

    The research project on the development of CMS based on Nickel framework

    Rust 12 1

360 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to aurora-is-near/aurora-engine, aurora-is-near/eth-connector, mrLSD/iLang and 5 other repositories

Contribution activity

March 2022

mrLSD has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.