Pinned Repositories
App-iOS
avr
Reads a state transition system and performs property checking
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
aws-fpga
Official repository of the AWS EC2 FPGA Hardware and Software Development Kit
axi
AXI4 and AXI4-Lite synthesizable modules and verification infrastructure
axi-bfm
git clone of http://code.google.com/p/axi-bfm/
bdd
Binary decision diagrams in C, with an emphasis on correctness, clarity, and performance
BM65DataDownloader
Python code for downloading data from a Beurer BM65 blood pressure monitor
circuitjs1
Electronic Circuit Simulator in the Browser
clarvi
Clarvi simple RISC-V processor for teaching
jankcorn's Repositories
jankcorn/OpenROAD-flow-scripts
OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/
jankcorn/svafsm
jankcorn/slang
SystemVerilog compiler and language services
jankcorn/sv-tests
Test suite designed to check compliance with the SystemVerilog standard.
jankcorn/murphi
jankcorn/GamestonkTerminal
The next best thing after Bloomberg Terminal
jankcorn/XilinxBoardStore
jankcorn/pono
Next generation cosa.
jankcorn/livehd
Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
jankcorn/avr
Reads a state transition system and performs property checking
jankcorn/headless-recorder
Headless recorder is a Chrome extension that records your browser interactions and generates a Puppeteer or Playwright script.
jankcorn/LTLfAutomata
Tools for working with LTLf and automata.
jankcorn/axi
AXI4 and AXI4-Lite synthesizable modules and verification infrastructure
jankcorn/kissat
jankcorn/image-processing
SystemVerilog code for image processing tasks like demosaicing
jankcorn/rand
Random number generators such as LFSRs, LHCAs
jankcorn/clock-domain-crossing
Utilities for clock-domain crossing with an FPGA
jankcorn/gray-code
Generate a gray code of arbitrary width in SystemVerilog
jankcorn/openofdm
Sythesizable, modular Verilog implementation of 802.11 OFDM decoder.
jankcorn/App-iOS
jankcorn/i2c
Fully featured implementation of Inter-IC (I2C) bus master for FPGAs
jankcorn/home-assistant
:house_with_garden: Open source home automation that puts local control and privacy first
jankcorn/fusesoc
Package manager and build abstraction tool for FPGA/ASIC development
jankcorn/dicom
⚡High Performance DICOM Medical Image Parser in Go.
jankcorn/jinc
downloaded 2019 May 8 from: http://www.jossowski.de/jinc/
jankcorn/wb2axip
Bus bridges and other odds and ends
jankcorn/RapidWright
Build Customized FPGA Implementations for Vivado
jankcorn/RapidWrightPages
jankcorn/duktape
Duktape - embeddable Javascript engine with a focus on portability and compact footprint
jankcorn/lowjs
A port of Node.JS with far lower system requirements. Community version for POSIX systems such as Linux, uClinux or Mac OS X.