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

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2
BetaSend feedback

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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

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

🌀 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

☀️ Awesome

ℹ️ Contact info

⭐ Github stats

mrLSD's github stats

Pinned

  1. riscv-fs riscv-fs Public

    F# RISC-V Instruction Set formal specification

    F# 276 17

  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 316 77

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

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

    Rust 33 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