bonotake

followers

following

stars

@Idein

Tokyo, Japan

http://bonotake.github.io/

Takeo Imai's starred repositories

nocode

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Language:DockerfileApache-2.060150 369 4656

pyinstaller

Freeze (package) Python programs into stand-alone executables

Language:PythonNOASSERTION11590 231 5331

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

Language:PythonApache-2.011482 381 3336

pyre-check

Performant type-checking for python.

Language:OCamlMIT6772 113 406

Halide

a language for fast, portable data-parallel computation

Language:C++NOASSERTION5804 243 2602

python-twitter

A Python wrapper around the Twitter API.

Language:PythonApache-2.03411 169 414

glow

Compiler for Neural Network hardware accelerators

Language:C++Apache-2.03194 154 827

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Language:Haskell3046 138 13

YouTube-Music

:musical_note: A Mac app wrapper for music.youtube.com

Language:SwiftMIT2759 39 150

mlir

"Multi-Level Intermediate Representation" Compiler Infrastructure

taco

The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs

Language:C++NOASSERTION1229 57 357

chat-downloader

A simple tool used to retrieve chat messages from livestreams, videos, clips and past broadcasts. No authentication needed!

Language:PythonMIT885 24 203

deep-learning-from-scratch-3

『ゼロから作る Deep Learning ❸』(O'Reilly Japan, 2020)

Language:PythonMIT715 40 30

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Language:JavaNOASSERTION699 20 185

hydeout

A refreshed version of Hyde for Jekyll 3.x and 4.x

Language:SCSSNOASSERTION590 10 50

seahorn

SeaHorn Verification Framework

Language:CNOASSERTION434 20 199

slack-patron

Log and view all Slack messages.

Language:JavaScriptMIT168 11 51

kodkod

Kodkod solver for relational logic

Language:JavaMIT73 8 1

dnn-topology

Computing topological cavities of deep neural networks

Language:Python64 5 6

hpc_exercise

ネットワーク系演習II：ハイパフォーマンスコンピューティング

Language:C++62 60

MLBlog

source codes used in MLBlog

Language:JuliaMIT46 40

hoare

Hoare Logic in Alloy, based on Kleene Algebra with Domain (KAD) semantics

2 20

Allegories

Definition of Allegories

Language:Verilog1 20

sandbox

test repo

1 20