wkwkes Goto Github PK

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

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.

dlwpt-code

Code for the book Deep Learning with PyTorch by Eli Stevens and Luca Antiga.

dmscraper

go-ethereum

Official Go implementation of the Ethereum protocol

hooglebackend

kaleidoscope

learning-ebpf

Learning eBPF, published by O'Reilly - out now! Here's where you'll find a VM config for the examples, and more

lightyear

Parser combinators for Idris

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

menohcaml

OCaml binding for Menoh

min-caml

moved from https://sourceforge.net/p/min-caml/code/

ocaml_99

onnxruntime

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

pyyaml

Canonical source repository for PyYAML

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

reason-hackernews

reason-react

Reason bindings for ReactJS

reason-reactify

:rocket: Transform a mutable tree into a functional React-like API

reth

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

revery

:zap: Native, high-performance, cross-platform desktop apps - built with Reason!

revery-quick-start

revery-quick-start

torch-mlir

The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.

twitter-photos

Simple, fast command-line tool to get photos from Twitter accounts

vscode

Visual Studio Code