Morvan (@Moorvan)
github

Moorvan

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    40
  • Global Rank 399,122 (Top 14 %)
  • Followers 31
  • Following 46
  • Registered almost 7 years ago
  • Most used languages
    Scala
         30.8 %
    Go
         23.1 %
    TeX
         7.7 %
    Java
         7.7 %
    SystemVerilog     7.7 %
    C++
         7.7 %
    HTML
         7.7 %
    Verilog     7.7 %
  • Location πŸ‡¨πŸ‡³ China
  • Country Total Rank 48,393
  • Country Ranking
    SystemVerilog     90
    Scala
         146
    Verilog     403
    TeX
         1,449
    Go
         3,788

Top repositories

1

ChiselFV

A Formal Verification Framework for Chisel
Scala
12
star
2

RISCV-Formal-Chisel

RISC-V Formal in Chisel
Scala
7
star
3

MoTrade

Using Go language to provide REST API for OKX platform, and some trading strategies (in future).
Go
5
star
4

chisel2btor

Scala
3
star
5

riscv-mini-formal

ι€šθΏ‡δ½Ώη”¨ riscv-formal ζ‘†ζžΆιͺŒθ― riscv-mini
Verilog
3
star
6

go2csp

A tool to convert go parallel programs into csp scripts
Go
2
star
7

WAMCer

C++
2
star
8

MoMathF

Call MathPix API to convert image to LaTeX formula
Go
2
star
9

SoftwareTest-MeetHere

θ½―δ»Άζ΅‹θ―•δ½œδΈš-MeetHere
HTML
1
star
10

riscv-chip

riscv-chip
Scala
1
star
11

fifoBuffer

Implementation and verification of two FIFO buffers in Chisel
SystemVerilog
1
star
12

ChatMC

Java
1
star
13

ISEDA

RVFC: RISC-V Formal in Chisel
TeX
1
star