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 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 (Kharkiv National University of V.N. Karazin)
  • Mathematician (Specialist in Applied Mathematics - Systems control of Spacecrafts and satellites)
  • Researcher
  • Programmer (Software Engineer)
  • Blockchain specialist

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

My favorite areas: RISC-V (CPU creation), LLVM (compileres design and implementation), FPGA (hardware design), Blockchain (Ethereum, NEAR Protocol).

♥️ 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
    • Lints Tests codecov Crates.io version Crates.io downloads
    • 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.
  • mrLSD/llvm-lib-rs
    • Lints Crates.io version Crates.io Total Downloads
    • LLVM library wrapper for LLVM-C API written in Rust with safety in mind.

💾 LLVM projects

💾 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# 280 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 326 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 37 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