mjc0608's Stars
mastodon/mastodon
Your self-hosted, globally interconnected microblogging community
dani-garcia/vaultwarden
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
gpakosz/.tmux
🇫🇷 Oh my tmux! My self-contained, pretty & versatile tmux configuration made with ❤️
google/skywater-pdk
Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.
casualsnek/cassowary
Run Windows Applications on Linux as if they are native, Use linux applications to launch files files located in windows vm without needing to install applications on vm. With easy to use configuration GUI
google/xls
XLS: Accelerated HW Synthesis
LekKit/RVVM
The RISC-V Virtual Machine
Xilinx/XilinxTclStore
Xilinx Tcl Store
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
PrincetonUniversity/prga
Open-source FPGA research and prototyping framework.
jaywonchung/reason
A shell for research papers
animeshtrivedi/rdma-example
RDMA exmaple
forhappy/rbtree
rbtree implementation adapted from linux kernel thus can be used in your own c program(of course in userspace).
cashwarden/web
Cashwarden web
shreyashankar/overleave
Chrome extension that opens and syncs Overleaf compiled pdfs in a new window.
UCLA-VAST/RapidStream
[FPGA 2022, Best Paper Award] Parallel placement and routing of Vivado HLS dataflow designs.
open-power/snap
CAPI SNAP Framework Hardware and Software
ben-marshall/verilog-vcd-parser
A parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.
ymherklotz/vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
cashwarden/api
CashWarden API
RSPwFPGAs/opae-xilinx
OPAE porting to Xilinx FPGA devices.
WukLab/FPGA-OS
jameshanlon/netlist-paths
A library and command-line tool for querying a Verilog netlist.
black-parrot-hdk/zynq-parrot
BlackParrot on Zynq
MLNetwork/rostam
khoapham/bitman
lastweek/fpga_icap_hls
HLS-based Xilinx ICAP3 Controller (tested with VCU108)
IBM/eraser
Early-stage Reliability And Security Estimation for RISC-V (ERASER) tool.
zistvan/Multes_for_Vitis_with_100Gbps_TCP-IP
Multes running with 100 Gbps TCP/IP stack for Vitis shell
agalisz/test-GAN-cats-generator
Generating cats using Generative Adversarial Network (GAN)