Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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