Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
F# RISC-V Instruction Set formal specification (github.com/mrLSD)
134 points
mrLSD-dev
3 years ago
42 comments
2.
F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)
122 points
adamnemecek
7 years ago
16 comments
3.
Custom Semantic Analyzer library written Rust lang (github.com/mrLSD)
19 points
mrLSD-dev
2 years ago
discuss
4.
Swift EVM (Ethereum Virtual Machine) new release v0.5.13 (github.com/mrLSD)
2 points
mrLSD-dev
a year ago
3 comments
5.
Rust library semantic-analyzer-rs for creating subset of compilers (github.com/mrLSD)
2 points
mrLSD-dev
3 years ago
1 comment
6.
New open source F# RISC-V ISA formal specification and CPU simulation (github.com/mrLSD)
2 points
sfxws2006
7 years ago
discuss
7.
F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)
1 point
adamnemecek
7 years ago
discuss
8.
Aurora EVM rust library: Cancun hard fork release (github.com/aurora-is-near)
1 point
mrLSD-dev
2 years ago
discuss
9.
Show HN: I made a web component for writing keyboard layout tours (github.com/mrled)
1 point
mrled
a year ago
discuss
10.
Lkbm: LED-Key BitMasks to Control the Ploopy Nano Trackball (github.com/qmk)
2 points
mrled
2 years ago
discuss