Pinned Repositories
cocoa-dump
dev
math
top-prover
tzik.github.io
websat
A MiniSat port to WebAssembly
tzik's Repositories
tzik/cocoa-dump
tzik/top-prover
tzik/tzik.github.io
tzik/a_eq_b
tzik/binaryen
Compiler infrastructure and toolchain library for WebAssembly, in C++
tzik/chrome-skk
An SKK implementation for ChromeOS IME API.
tzik/cpp-intro
Beginner's guide for C++
tzik/crskk
An SKK implementation for ChromeOS
tzik/developer.chrome.com
Chrome Developers
tzik/flatbuffers
FlatBuffers: Memory Efficient Serialization Library
tzik/gentoo
[MIRROR] Official Gentoo ebuild repository
tzik/hayatoito.github.io
tzik/jnd
tzik/json-c
https://github.com/json-c/json-c is the official code repository for json-c. See the wiki for release tarballs for download. API docs at http://json-c.github.io/json-c/
tzik/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
tzik/math.tzik.jp
tzik/mergesat
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
tzik/oneDNN
oneAPI Deep Neural Network Library (oneDNN)
tzik/phlogiston
tzik/pilez
tzik/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
tzik/qcoder
tzik/site
cpprefjpサイトのMarkdownソース
tzik/t
tzik/tc
tzik/toolchain
tzik/tz
tzik/wandbox-builder
Wandbox Infrastructure
tzik/xpu
tzik/zx-deno
A tool for writing better scripts