YikeZhou

YikeZhou's Stars

• ryo-ma/github-profile-trophy

  🏆 Add dynamically generated GitHub Stat Trophies on your readme

  Language:TypeScript5.4k806

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell89.9k5.8k

• ccfddl/ccf-deadlines

  ⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

  Language:Vue6.7k458

• polynote/polynote

  A better notebook for Scala (and more)

  Language:Jupyter Notebook4.5k397

• logisim-evolution/logisim-evolution

  Digital logic design tool and simulator

  Language:Java5.1k659

• typelevel/Laika

  Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

  Language:Scala42648

• llvm/circt

  Circuit IR Compilers and Tools

  Language:C++1.7k309

• riscvarchive/riscv-lld

  RISC-V port of LLVM Linker

  Language:C++247

• vim/vim

  The official Vim repository

  Language:Vim Script37.1k5.5k

• nvbn/thefuck

  Magnificent app which corrects your previous console command.

  Language:Python88.9k3.6k

• rems-project/sail

  Sail architecture definition language

  Language:Isabelle651119

• rothgar/awesome-tmux

  A list of awesome resources for tmux

  8k309

• da-tubi/antlr4-scala-example

  antlr4-scala example for saumitras blog

  Language:Scala2

• dyng/ctrlsf.vim

  A text searching plugin mimics Ctrl-Shift-F on Sublime Text 2

  Language:Vim Script1.6k85

• riscv/sail-riscv

  Sail RISC-V model

  Language:Coq489172

• ymanerka/pipeproof

  PipeProof

  Language:Coq111

• Nic30/pyDigitalWaveTools

  Python library for operations with VCD and other digital wave files

  Language:Python476

• dpretet/svut

  SVUT is a simple framework to create Verilog/SystemVerilog unit tests. Just focus on your tests!

  Language:Python7216

• csmith-project/csmith

  Csmith, a random generator of C programs

  Language:C++1k147

• riscv-software-src/riscv-isa-sim

  Spike, a RISC-V ISA Simulator

  Language:C2.5k883

• argenos/zotero-mdnotes

  A Zotero plugin to export item metadata and notes as markdown files

  Language:JavaScript1.3k82

• ctrippel/TriCheck

  Language:Python132

• herd/herdtools7

  The Herd toolsuite to deal with .cat memory models (version 7.xx)

  Language:OCaml23067

• TiarkRompf/virtualization-lms-core

  A Framework for Runtime Code Generation and Compiled DSLs

  Language:Scala32691

• ycm-core/YouCompleteMe

  A code-completion engine for Vim

  Language:Python25.5k2.8k

• yangyangwithgnu/use_vim_as_ide

  use vim as IDE

  Language:VimL9.2k2.4k

• ucb-bar/chisel-torture

  A tool that generates Chisel torture tests

  Language:C++22

• gnab/remark

  A simple, in-browser, markdown-driven slideshow tool.

  Language:JavaScript12.8k859

• com-lihaoyi/mill

  Mill is a fast build tool that supports Java, Scala, Kotlin and many other languages. 2-4x faster than Gradle and 4-10x faster than Maven for common workflows, Mill aims to make your project’s build process performant, maintainable, and flexible

  Language:Scala2.3k366

• jlpteaching/dinocpu

  A teaching-focused RISC-V CPU design used at UC Davis

  Language:Scala14538