Pinned Repositories
bsc-1
Bluespec Compiler (BSC)
connectal
Connectal is a framework for software-driven hardware development.
fpgamake
Generates Makefiles to synthesize, place, and route verilog using Vivado
model-explorer
p4c
P4-16 prototype compiler
sonic
Ported SoNIC to DE5-Net card
sonic-firmware
sonic-lite
P4FPGA is located at github.com/hanw/p4fpga
vim-bluespec
p4fpga
P4-14/16 Bluespec Compiler
hanw's Repositories
hanw/vim-bluespec
hanw/bsc-1
Bluespec Compiler (BSC)
hanw/Piccolo
RISC-V CPU, simple 3-stage pipeline, for low-end applications (e.g., embedded, IoT)
hanw/yosys
Yosys Open SYnthesis Suite
hanw/1on1-questions
Mega list of 1 on 1 meeting questions compiled from a variety to sources
hanw/async_ssl
Async wrappers for ssl
hanw/async_websocket
A library that implements the websocket protocol on top of Async
hanw/behavioral-model
Rewrite of the behavioral model as a C++ project without auto-generated code (except for the PD interface)
hanw/client-examples
Examples of how to connect to Polygon.io
hanw/coq-guide
hanw/ebooks
hanw/ebpf
hanw/flrc
Haskell Research Compiler
hanw/Genesis2
A home for Genesis2 sources.
hanw/google-translate
Terminal-based google translate client for markdown
hanw/gryphon
Powerful, proven, and extensible framework for building trading strategies at any frequency, with a focus on crypto currencies. Battle-tested with billions traded.
hanw/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
hanw/home
hanw/mal
mal - Make a Lisp
hanw/minimal-gtest-autotools
hanw/myBooks
hanw/ocaml-websocket
Websocket library for OCaml
hanw/p4-psa-examples
hanw/p4-spec
hanw/p4c-fpga
hanw/p4lang-proposals
hanw/personal-website
Code that'll help you kickstart a personal website that showcases your work as a software developer.
hanw/softwarefoundations
hanw/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
hanw/truffle
The most popular Ethereum development framework