mrLSD/swift-evm
Pure Swift implementation of Ethereum Virtual Machine (EVM)
Let's change the world... My favorite languages: Rust, Lean4, Swift, F#, Go, Haskell 🚀
Repositories
mrLSD/Lean4EVM
Lean for EVM — a pure-Lean 4 implementation of the Ethereum Virtual Machine, formally verified in Lean.
mrLSD/awesome-lean4
Awesome Lean 4 - tips and tricks
mrLSD/riscv-fs
F# RISC-V Instruction Set formal specification
mrLSD/semantic-analyzer-rs
Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
mrLSD/iLang
iLang - a functional programming language and compiler
mrLSD/swift-riscv
Swift RISC-V implementation
mrLSD/game-simulator
Experimental game simulator on Swift
mrLSD/go-benchmark-app
Application for HTTP benchmarking via different rules and configs
mrLSD/llvm-api-swift
Swift LLVM API is a library and utils set fully compatible with LLVM-C API. The library can be used to create compilers backend based on LLVM
mrLSD/mrLSD
Let's change the world... My favorite languages: Rust, F#, Go, Haskell
mrLSD/aurora-launchpad-contracts
Set of contracts for Intents Launchpad project
mrLSD/amq
Message queue distributed framework based on Actix
mrLSD/lean-file-copy
Lean 4: file copy app
mrLSD/BFR
Books for online reading
mrLSD/toy-codegen
Toy Codegen as example for `semantic-analyzer-rs` library.
mrLSD/aurora-smartcontracts
Aurora smartctonracts samples
mrLSD/socket-to-webcoket-streamer
Socket to WebSocket streamer
mrLSD/iron-cms
CMS based on Iron Framework for Rust lang
mrLSD/nearcore
Reference client for NEAR Protocol
mrLSD/revm
Customized Ethereum Virtual Machine written in rust that is fast and simple to use
mrLSD/ethabi
Encode and decode smart contract invocations
mrLSD/fpga
Research & Development FPGA projects for different boards
mrLSD/awesome-fsharp
A curated list of awesome F# frameworks, libraries, software and resources.
mrLSD/llvm-lib-rs
LLVM library wrapper for LLVM-C API written in Rust with safety in mind.
mrLSD/EIPs
The Ethereum Improvement Proposal repository
mrLSD/Sipeed-TangNano-20K
FPGA im action for the board Sipeed TangNano 20K
mrLSD/-rv32-multicore-mcu-apps
Templates & examples to build RISC-V 32-bit multi core apps for MCU
mrLSD/book-formatter
Format text book to html formatted with page separation
mrLSD/nickel-cms
The research project on the development of CMS based on Nickel framework