liufengyun
Programmer interested in programming languages and formal methods
Oracle LabsLausanne, Switzerland
liufengyun's Stars
leeoniya/uPlot
📈 A small, fast chart for time series, lines, areas, ohlc & bars
javaparser/javaparser
Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
jlegewie/zotfile
Zotero plugin to manage your attachments: automatically rename, move, and attach PDFs (or other files) to Zotero items, sync PDFs from your Zotero library to your (mobile) PDF reader (e.g. an iPad, Android tablet, etc.), and extract PDF annotations.
YosysHQ/yosys
Yosys Open SYnthesis Suite
eclipse-openj9/openj9
Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.
YosysHQ/picorv32
PicoRV32 - A Size-Optimized RISC-V CPU
scalatra/scalatra
Tiny Scala high-performance, async web framework, inspired by Sinatra
BrunoLevy/learn-fpga
Learning FPGA, yosys, nextpnr, and RISC-V
LibrePCB/LibrePCB
A powerful, innovative and intuitive EDA suite for everyone!
YosysHQ/nextpnr
nextpnr portable FPGA place and route tool
verilog-to-routing/vtr-verilog-to-routing
Verilog to Routing -- Open Source CAD Flow for FPGA Research
eclipse/omr
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
berkeley-abc/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
joostkremers/writeroom-mode
Writeroom-mode: distraction-free writing for Emacs.
rems-project/sail
Sail architecture definition language
ucb-bar/riscv-mini
Simple RISC-V 3-stage Pipeline in Chisel
com-lihaoyi/cask
Cask: a Scala HTTP micro-framework. Cask makes it easy to set up a website, backend server, or REST API using Scala
RTimothyEdwards/magic
Magic VLSI Layout Tool
bluespec/Piccolo
RISC-V CPU, simple 3-stage pipeline, for low-end applications (e.g., embedded, IoT)
Xilinx/RapidWright
Build Customized FPGA Implementations for Vivado
oyvindberg/tui-scala
Beautiful Text-based User Interfaces for Scala
bu-icsg/dana
Dynamically Allocated Neural Network Accelerator for the RISC-V Rocket Microprocessor in Chisel
sifive/Kami
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
RTimothyEdwards/qflow
Qflow full end-to-end digital synthesis flow for ASIC designs
AugustNagro/magnum
A 'new look' for database access in Scala
cac-t-u-s/om-sharp
OM#: Visual Programming | Computer-assisted Music Compositon
glederrey/EPFL_thesis_template
Unofficial template for the PhD thesis at EPFL maintained by PolyDoc
ucb-bar/midas
FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL
arshaw/ghi-scoreboard
Rank your Github repo's issues by demand :+1:
hugodecasta/ZRMconnector
Zotero / ReMarkable connector