Giters
Keiko Nakata (keikonakata)

keikonakata

Geek Repo

11

followers

0

following

0

stars

Github PK Tool:Github PK Tool

Keiko Nakata's repositories

keikonakata.github.io

Language:HTMLStargazers:0Issues:0Issues:0

cpp

Language:C++Stargazers:0Issues:0Issues:0

rustMisc

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tla

Language:TLAStargazers:0Issues:0Issues:0

keikonakata.base

Language:HTMLStargazers:0Issues:0Issues:0

solo5

A sandboxed execution environment for unikernels

Language:CLicense:ISCStargazers:1Issues:0Issues:0

scala

The Scala programming language

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

TypeLevelSummitBerlin2018

Stargazers:0Issues:0Issues:0

shapeless

Generic programming for Scala

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

src-netbsd

Mirror of NetBSD sources useful with rump kernels

Stargazers:0Issues:0Issues:0

cpp2coq

Language:C++Stargazers:1Issues:0Issues:0