Hiroki Oshikawa (wkwkes)

wkwkes

Geek Repo

Location:Tokyo

Github PK Tool:Github PK Tool


Organizations
pfnet

Hiroki Oshikawa's repositories

canvas-tetris

A 2D tetris game in HTML5 canvas written in OCaml

Language:OCamlLicense:NOASSERTIONStargazers:6Issues:3Issues:0

Menohcaml

OCaml binding for Menoh

Language:OCamlLicense:MITStargazers:4Issues:3Issues:0

ATPG4SV

A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0
Language:RubyStargazers:0Issues:2Issues:0

chisel-book

Digital Design with Chisel

Language:TeXStargazers:0Issues:1Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

dlwpt-code

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

Language:Jupyter NotebookStargazers:0Issues:1Issues:0
Language:F#Stargazers:0Issues:2Issues:0

go-ethereum

Official Go implementation of the Ethereum protocol

Language:GoLicense:LGPL-3.0Stargazers:0Issues:1Issues:0
Language:OCamlStargazers:0Issues:1Issues:0

learning-ebpf

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

License:Apache-2.0Stargazers:0Issues:0Issues:0

lightyear

Parser combinators for Idris

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:2Issues:0

llvm-project

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

License:NOASSERTIONStargazers:0Issues:0Issues:0

onnxruntime

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

Language:C++License:MITStargazers:0Issues:0Issues:0

opam-repository

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

Language:ShellLicense:CC0-1.0Stargazers:0Issues:2Issues:0

pyyaml

Canonical source repository for PyYAML

License:MITStargazers:0Issues:0Issues:0

reason

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

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

reason-react

Reason bindings for ReactJS

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

reason-reactify

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

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

reth

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

License:Apache-2.0Stargazers:0Issues:0Issues:0

revery

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

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

revery-quick-start

revery-quick-start

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

torch-mlir

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

License:NOASSERTIONStargazers:0Issues:0Issues:0

twitter-photos

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

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

vscode

Visual Studio Code

License:MITStargazers:0Issues:0Issues:0

vscode-idris

Idris for Visual Studio Code

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:CSSStargazers:0Issues:2Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

yellowpaper

The "Yellow Paper": Ethereum's formal specification

License:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0