jankcorn

palo alto, ca

Pinned Repositories

App-iOS
Language:JavaScript00
avr
Reads a state transition system and performs property checking
Language:Verilog00
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
00
aws-fpga
Official repository of the AWS EC2 FPGA Hardware and Software Development Kit
Language:VHDL00
axi
AXI4 and AXI4-Lite synthesizable modules and verification infrastructure
Language:SystemVerilog00
axi-bfm
git clone of http://code.google.com/p/axi-bfm/
Language:SystemVerilog00
bdd
Binary decision diagrams in C, with an emphasis on correctness, clarity, and performance
Language:C00
BM65DataDownloader
Python code for downloading data from a Beurer BM65 blood pressure monitor
Language:Python01
circuitjs1
Electronic Circuit Simulator in the Browser
Language:Java00
clarvi
Clarvi simple RISC-V processor for teaching
Language:SystemVerilog00

jankcorn's Repositories

jankcorn/porcupine
A fast linearizability checker written in Go 🔎
Language:Go
jankcorn/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
jankcorn/prjxray
Documenting the Xilinx 7-series bit-stream format.
Language:Verilog
jankcorn/kicad-source-mirror
A mirror of the KiCad development branch, which is hosted at launchpad (updated every time something is pushed). Pull requests on github are not accepted or watched.
Language:C
jankcorn/monica
Personal CRM. Remember everything about your friends and family.
Language:PHP
jankcorn/yosys
Yosys Open SYnthesis Suite
Language:C++
jankcorn/PYNQ
Python Productivity for ZYNQ
Language:Jupyter Notebook
jankcorn/tincr
A Tcl-based CAD Tool Framework for Xilinx's Vivado Design Suite
Language:Tcl
jankcorn/aws-fpga
Official repository of the AWS EC2 FPGA Hardware and Software Development Kit
Language:VHDL
jankcorn/vtr-verilog-to-routing
Verilog to Routing -- Open Source CAD Flow for FPGA Research
Language:C
jankcorn/rtclite
Light weight implementations of real-time communication protocols and applications in Python
Language:Python
jankcorn/circuitjs1
Electronic Circuit Simulator in the Browser
Language:Java
jankcorn/wavedrom
:ocean: Digital timing diagram rendering engine
Language:JavaScript
jankcorn/pyicloud
A Python + iCloud wrapper to access iPhone and Calendar data.
Language:Python
jankcorn/RapidSmith2
RapidSmith2 - the Vivado successor to RapidSmith. Released Jan 4, 2017.
Language:Java
jankcorn/oh
Silicon proven Verilog library for IC and FPGA designers
jankcorn/iimc
jankcorn/stockPortfolio
Version 1.2 from https://cran.r-project.org/web/packages/stockPortfolio/ . All code written by David M. Diez.
Language:R
jankcorn/clarvi
Clarvi simple RISC-V processor for teaching
jankcorn/Ziria
A domain-specific-language and compiler for low-level bitstream processing.
jankcorn/torc
Torc: Tools for Open Reconfigurable Computing
Language:C++
jankcorn/fpgatools
public domain tools for FPGAs
Language:C
jankcorn/p2p-sip
Open source peer-to-peer Internet telephony (P2P-SIP) software in Python
Language:Python
jankcorn/klee_klee
KLEE Symbolic Virtual Machine
Language:C++1
jankcorn/hle-ofx-quotes
Automatically exported from code.google.com/p/hle-ofx-quotes
1
jankcorn/bdd
Binary decision diagrams in C, with an emphasis on correctness, clarity, and performance
Language:C
jankcorn/Synthesis
Language:Coq
jankcorn/BM65DataDownloader
Python code for downloading data from a Beurer BM65 blood pressure monitor
Language:Python1
jankcorn/axi-bfm
git clone of http://code.google.com/p/axi-bfm/
Language:SystemVerilog
jankcorn/hessiancpp-win32
hessiancpp-win32
Language:C