Skip to content
View mrLSD's full-sized avatar
🇺🇦
RISC-V ISA F# formal specification development
🇺🇦
RISC-V ISA F# formal specification development

Organizations

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

Block or report mrLSD

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
  • Researcher
  • Mathematician
  • Programmer
  • Blockchain specialist

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

♥️ My own favorite development Projects

  • mrLSD/riscv-fs - F# RISC-V Instruction Set formal specification.
  • mrLSD/iLang - programming language and compiler from scratch with LLVM backend. My fun project. Work in progress.
  • mrLSD/semantic-analyzer-rs - Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages, with code generation for any backend. Most useful for creation compilers of programming languages.

💾 FPGA projects

  • FPGA - FPGA Research & Development project
  • Tang Nano 20k - Sipeed Tang Nano 20k FPGA devboard project

🏦 Recent blockchain projects

🌀 My Recent activities

  • ▶️ Aurora Engine - Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.
  • ▶️ Aurora Eth Connector contract - Aurora Eth Connector implements NEP-141 fungible tokens for Aurora Engine accessible via NEAR cross-contract calls.
  • ▶️ Aurora Workspace - Aurora Workspace is a library for the Aurora Engine and Aurora Eth Connector and EVM contracts based on NEAR Protocol.
  • ▶️ Aurora Engine migration tool - Parser, Indexer, Migration tools set for Aurora Engine.
  • ▶️ Eth Connector - NEAR Protocol Eth Connector.
  • ▶️ Aurora DAO UI - Aurora DAO frontend.
  • ▶️ NEAR releases repository - NEAR contract manager for single point of any NEAR contract release store and management.
  • ▶️ iLang - programming language from scratch based on LLVM.
  • ▶️ semantic-analyzer-rs - Semantic analyzer library for creating compilers for programming languages.
  • ▶️ RISC-V formal spec - F# RISC-V CPU Instruction Set formal specification
  • ▶️ FPGA - FPGA Research & Development project

🌟 EVM contribution

Ethereum EVM contribution ↘️ including improvements, bug fixing, new features implementation:

☀️ Awesome

ℹ️ Contact info

⭐ Github stats

mrLSD's github stats

Pinned Loading

  1. riscv-fs riscv-fs Public

    F# RISC-V Instruction Set formal specification

    F# 277 14

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

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

    Rust 323 78

  3. semantic-analyzer-rs semantic-analyzer-rs Public

    Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST

    Rust 34 1

  4. iLang iLang Public

    iLang - a functional programming language and compiler

    Rust 9 1

  5. go-benchmark-app go-benchmark-app Public

    Application for HTTP benchmarking via different rules and configs

    Go 27 5

  6. iron-cms iron-cms Public

    CMS based on Iron Framework for Rust lang

    Rust 46 10