https://github.com/mrlsd/mrlsd
Let's change the world... My favorite languages: Rust, F#, Go, Haskell
https://github.com/mrlsd/mrlsd
Last synced: 3 months ago
JSON representation
Let's change the world... My favorite languages: Rust, F#, Go, Haskell
- Host: GitHub
- URL: https://github.com/mrlsd/mrlsd
- Owner: mrLSD
- Created: 2021-06-19T22:45:14.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2025-12-01T19:18:23.000Z (7 months ago)
- Last Synced: 2025-12-04T09:20:27.067Z (7 months ago)
- Homepage:
- Size: 20.5 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# About me
- [x] Ph.D. of Philosophy (Kharkiv National University of V.N. Karazin)
- [x] Mathematician (Specialist in Applied Mathematics - Systems control of Spacecrafts and satellites)
- [x] Researcher
- [x] Programmer (Software Engineer)
- [x] 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).
## :hearts: My own favorite development Projects
* [mrLSD/swift-evm](https://github.com/mrLSD/swift-evm) - Swift EVM implementation in Swift programming language.
* [mrLSD/riscv-fs](https://github.com/mrLSD/riscv-fs) - F# RISC-V Instruction Set formal specification.
* [mrLSD/iLang](https://github.com/mrLSD/iLang) - programming language and compiler from scratch with LLVM backend.
My fun project. Work in progress.
* [mrLSD/semantic-analyzer-rs](https://github.com/mrLSD/semantic-analyzer-rs.git) 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](https://github.com/mrLSD/llvm-lib-rs.git) LLVM library wrapper for LLVM-C API written in Rust with safety in mind.
## :star2: EVM contribution
Ethereum EVM contribution :arrow_lower_right: including improvements, bug fixing, new features implementation:
- [Swift EVM](https://github.com/mrLSD/swift-evm) - **(my own project)** EVM implementation in Swift programming language. Also, available as a [Swift package](https://swiftpackageindex.com/mrLSD/swift-evm).
- [Aurora EVM](https://github.com/aurora-is-near/aurora-evm) - Lead developer
- [Rust EVM (SputnikVM)](https://github.com/rust-ethereum/evm)
- [REVM](https://github.com/bluealloy/revm)
## :floppy_disk: LLVM projects
* [mrLSD/llvm-api-swift](https://github.com/mrLSD/llvm-api-swift.git)
* [mrLSD/llvm-lib-rs](https://github.com/mrLSD/llvm-lib-rs.git)
## :bank: Formal verification projects and research
- [Aurora Launchpad Dafny formal verification](https://github.com/aurora-is-near/aurora-launchpad-contracts/tree/master/verification) - Formal specification and verification and verification of
Aurora Launchpad smart contracts in Dafny.
- [Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny](https://arxiv.org/abs/2510.24798) - the article on [arXiv.org](https://arxiv.org/) about
formal research of formal verification of Aurora Launchpad smart contracts in Dafny.
## :bank: Recent blockchain projects
* [Aurora](https://github.com/aurora-is-near/) - Aurora Core developer
* [SputnikVM](https://github.com/aurora-is-near/sputnikvm) - Aurora EVM for [Arora Engine](https://github.com/aurora-is-near/aurora-engine)
* [Aurora Engine](https://github.com/aurora-is-near/aurora-engine) - Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.
## :cyclone: My Recent activities
* :arrow_forward: [Aurora Launchpad](https://github.com/aurora-is-near/aurora-launchpad-contracts) - Aurora Launchpad smart contracts.
* :arrow_forward: [Aurora Engine](https://github.com/aurora-is-near/aurora-engine) - Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.
* :arrow_forward: [Aurora Eth Connector contract](https://github.com/aurora-is-near/aurora-eth-connector) - Aurora Eth Connector implements NEP-141 fungible tokens for Aurora Engine accessible via NEAR cross-contract calls.
* :arrow_forward: [Aurora Workspace](https://github.com/aurora-is-near/aurora-workspace) - Aurora Workspace is a library for the Aurora Engine and Aurora Eth Connector and EVM contracts based on NEAR Protocol.
* :arrow_forward: [Aurora Engine migration tool](https://github.com/aurora-is-near/aurora-engine-migration-tool) - Parser, Indexer, Migration tools set for Aurora Engine.
* :arrow_forward: [Eth Connector](https://github.com/aurora-is-near/eth-connector) - NEAR Protocol Eth Connector.
* :arrow_forward: [Aurora DAO UI](https://github.com/aurora-is-near/aurora-dao-ui) - Aurora DAO frontend.
* :arrow_forward: [NEAR releases repository](https://github.com/aurora-is-near/release-repository.git) - NEAR contract manager for single point of any NEAR contract release store and management.
* :arrow_forward: [iLang](https://github.com/mrLSD/iLang) - programming language from scratch based on LLVM.
* :arrow_forward: [semantic-analyzer-rs](https://github.com/mrLSD/semantic-analyzer-rs.git) - Semantic analyzer library for creating compilers for programming languages.
* :arrow_forward: [RISC-V formal spec](https://github.com/mrLSD/riscv-fs) - F# RISC-V CPU Instruction Set formal specification
* :arrow_forward: [FPGA](https://github.com/mrLSD/fpga) - FPGA Research & Development project
## :floppy_disk: FPGA projects
* [FPGA](https://github.com/mrLSD/fpga) - FPGA Research & Development project
* [Tang Nano 20k](https://github.com/mrLSD/Sipeed-TangNano-20K) - Sipeed Tang Nano 20k FPGA devboard project
## :sunny: Awesome
- [go-benchmark-app](https://github.com/mrLSD/go-benchmark-app) - my application part of [awesome Go](https://github.com/mrLSD/go-benchmark-app).
- [riscv-fs](https://github.com/fsprojects/awesome-fsharp) - my library part of [awesome F#](https://github.com/fsprojects/awesome-fsharp).
## :information_source: Contact info
* [LinkedIn](https://www.linkedin.com/in/evgeny-ukhanov/)
## :star: Github stats
