{"id":19347467,"url":"https://github.com/mrlsd/mrlsd","last_synced_at":"2026-03-19T09:24:18.745Z","repository":{"id":50749346,"uuid":"378517312","full_name":"mrLSD/mrLSD","owner":"mrLSD","description":" Let's change the world... My favorite languages: Rust, F#, Go, Haskell ","archived":false,"fork":false,"pushed_at":"2025-12-01T19:18:23.000Z","size":21,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-12-04T09:20:27.067Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mrLSD.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-06-19T22:45:14.000Z","updated_at":"2025-12-01T19:18:27.000Z","dependencies_parsed_at":"2025-01-07T03:03:10.682Z","dependency_job_id":null,"html_url":"https://github.com/mrLSD/mrLSD","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/mrLSD/mrLSD","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mrLSD%2FmrLSD","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mrLSD%2FmrLSD/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mrLSD%2FmrLSD/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mrLSD%2FmrLSD/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mrLSD","download_url":"https://codeload.github.com/mrLSD/mrLSD/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mrLSD%2FmrLSD/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29977966,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-01T16:35:47.903Z","status":"ssl_error","status_checked_at":"2026-03-01T16:35:44.899Z","response_time":124,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-10T04:16:34.866Z","updated_at":"2026-03-01T18:02:21.478Z","avatar_url":"https://github.com/mrLSD.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"  # About me\n- [x] Ph.D. of Philosophy (Kharkiv National University of V.N. Karazin)\n- [x] Mathematician (Specialist in Applied Mathematics - Systems control of Spacecrafts and satellites)\n- [x] Researcher\n- [x] Programmer (Software Engineer)\n- [x] Blockchain specialist\n\nMore than 20 years of professional development experience.\nMy favorite languages: Rust, F#, Go, Haskell etc. \n\nMy favorite areas: RISC-V (CPU creation), LLVM (compileres design and implementation), FPGA (hardware design), Blockchain (Ethereum, NEAR Protocol).\n\n## :hearts: My own favorite development Projects\n* [mrLSD/swift-evm](https://github.com/mrLSD/swift-evm) - Swift EVM implementation in Swift programming language.\n* [mrLSD/riscv-fs](https://github.com/mrLSD/riscv-fs) - F# RISC-V Instruction Set formal specification.\n* [mrLSD/iLang](https://github.com/mrLSD/iLang) - programming language and compiler from scratch with LLVM backend.\n  My fun project. Work in progress.\n* [mrLSD/semantic-analyzer-rs](https://github.com/mrLSD/semantic-analyzer-rs.git) Semantic analyzer library for \n  compilers written in Rust for semantic analysis of programming languages, with code generation for any backend.\n  Most useful for creation compilers of programming languages.\n* [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.\n\n## :star2: EVM contribution\nEthereum EVM contribution :arrow_lower_right: including improvements, bug fixing, new features implementation:\n- [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).\n- [Aurora EVM](https://github.com/aurora-is-near/aurora-evm) - Lead developer\n- [Rust EVM (SputnikVM)](https://github.com/rust-ethereum/evm)\n- [REVM](https://github.com/bluealloy/revm)\n\n\n## :floppy_disk: LLVM projects\n* [mrLSD/llvm-api-swift](https://github.com/mrLSD/llvm-api-swift.git)\n* [mrLSD/llvm-lib-rs](https://github.com/mrLSD/llvm-lib-rs.git)\n\n## :bank: Formal verification projects and research\n- [Aurora Launchpad Dafny formal verification](https://github.com/aurora-is-near/aurora-launchpad-contracts/tree/master/verification) - Formal specification and verification and verification of \n  Aurora Launchpad smart contracts in Dafny.\n- [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 \n  formal research of formal verification of Aurora Launchpad smart contracts in Dafny.\n\n## :bank: Recent blockchain projects\n* [Aurora](https://github.com/aurora-is-near/) - Aurora Core developer\n* [SputnikVM](https://github.com/aurora-is-near/sputnikvm) - Aurora EVM for [Arora Engine](https://github.com/aurora-is-near/aurora-engine)\n* [Aurora Engine](https://github.com/aurora-is-near/aurora-engine) - Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.\n\n## :cyclone: My Recent activities\n* :arrow_forward: [Aurora Launchpad](https://github.com/aurora-is-near/aurora-launchpad-contracts) - Aurora Launchpad smart contracts.\n* :arrow_forward: [Aurora Engine](https://github.com/aurora-is-near/aurora-engine) -  Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.\n* :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.\n* :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.\n* :arrow_forward: [Aurora Engine migration tool](https://github.com/aurora-is-near/aurora-engine-migration-tool) - Parser, Indexer, Migration tools set for Aurora Engine.\n* :arrow_forward: [Eth Connector](https://github.com/aurora-is-near/eth-connector) - NEAR Protocol Eth Connector.\n* :arrow_forward: [Aurora DAO UI](https://github.com/aurora-is-near/aurora-dao-ui) - Aurora DAO frontend.\n* :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.\n* :arrow_forward: [iLang](https://github.com/mrLSD/iLang) - programming language from scratch based on LLVM.\n* :arrow_forward: [semantic-analyzer-rs](https://github.com/mrLSD/semantic-analyzer-rs.git) - Semantic analyzer library for creating compilers for programming languages.\n* :arrow_forward: [RISC-V formal spec](https://github.com/mrLSD/riscv-fs) -  F# RISC-V CPU Instruction Set formal specification\n* :arrow_forward: [FPGA](https://github.com/mrLSD/fpga) - FPGA Research \u0026 Development project\n\n## :floppy_disk: FPGA projects\n* [FPGA](https://github.com/mrLSD/fpga) - FPGA Research \u0026 Development project\n* [Tang Nano 20k](https://github.com/mrLSD/Sipeed-TangNano-20K) - Sipeed Tang Nano 20k FPGA devboard project\n\n## :sunny: Awesome\n- [go-benchmark-app](https://github.com/mrLSD/go-benchmark-app) - my application part of [awesome Go](https://github.com/mrLSD/go-benchmark-app).\n- [riscv-fs](https://github.com/fsprojects/awesome-fsharp) - my library part of [awesome F#](https://github.com/fsprojects/awesome-fsharp).\n\n## :information_source: Contact info\n* [LinkedIn](https://www.linkedin.com/in/evgeny-ukhanov/)\n\n## :star: Github stats\n![mrLSD's github stats](http://157.90.143.8:9000/api?username=mrlsd\u0026count_private=true\u0026include_all_commits=false\u0026hide_title=false\u0026show_icons=true\u0026theme=ocean_dark)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmrlsd%2Fmrlsd","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmrlsd%2Fmrlsd","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmrlsd%2Fmrlsd/lists"}