Pinned Repositories
ATPG4SV
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
bbs_test
bem
canvas-tetris
A 2D tetris game in HTML5 canvas written in OCaml
chisel-book
Digital Design with Chisel
kaleidoscope
Menohcaml
OCaml binding for Menoh
reason-hackernews
wkwkes's Repositories
wkwkes/canvas-tetris
A 2D tetris game in HTML5 canvas written in OCaml
wkwkes/Menohcaml
OCaml binding for Menoh
wkwkes/reason-hackernews
wkwkes/ATPG4SV
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
wkwkes/bbs_test
wkwkes/chisel-book
Digital Design with Chisel
wkwkes/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
wkwkes/dlwpt-code
Code for the book Deep Learning with PyTorch by Eli Stevens and Luca Antiga.
wkwkes/dmscraper
wkwkes/go-ethereum
Official Go implementation of the Ethereum protocol
wkwkes/hooglebackend
wkwkes/learning-ebpf
Learning eBPF, published by O'Reilly - out now! Here's where you'll find a VM config for the examples, and more
wkwkes/lightyear
Parser combinators for Idris
wkwkes/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
wkwkes/onnxruntime
ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
wkwkes/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
wkwkes/pyyaml
Canonical source repository for PyYAML
wkwkes/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
wkwkes/reason-react
Reason bindings for ReactJS
wkwkes/reason-reactify
:rocket: Transform a mutable tree into a functional React-like API
wkwkes/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
wkwkes/revery
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
wkwkes/revery-quick-start
revery-quick-start
wkwkes/torch-mlir
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
wkwkes/twitter-photos
Simple, fast command-line tool to get photos from Twitter accounts
wkwkes/vscode
Visual Studio Code
wkwkes/wkwkes.github.io
wkwkes/xla
A machine learning compiler for GPUs, CPUs, and ML accelerators
wkwkes/xv6-public
xv6 OS
wkwkes/yellowpaper
The "Yellow Paper": Ethereum's formal specification