iasakura

iasakura's Repositories

• iasakura/abstract-bohm-tree

  Language:Rust20

• iasakura/Automaton

  Language:TypeScript20

• iasakura/collabs-study

  Language:TypeScript10

• iasakura/coq8.5pl3-dockerfile

  10

• iasakura/coqex

  Language:Makefile10

• iasakura/dynamatic

  Language:C++20

• iasakura/Geometry-of-synthesis

  Language:Rust20

• iasakura/GoC-Erlang

  Language:Erlang

• iasakura/goc_erlang_sample

  Language:Erlang10

• iasakura/goi-readback

  Language:TypeScript10

• iasakura/Halide

  a language for fast, portable data-parallel computation

  Language:C++20

• iasakura/HLSGraphIR

  Language:Rust30

• iasakura/icdiff

  improved colored diff

  Language:Python10

• iasakura/ion-kit

  Language:C++10

• iasakura/islpy

  Python wrapper for isl, an integer set library

  Language:Python10

• iasakura/isucon13

  Language:Go

• iasakura/isucon13-revenge2

  Language:Rust

• iasakura/isucon13-revenge3

  Language:Rust20

• iasakura/kondate

  Language:TypeScript10

• iasakura/LinearLogicProofEditor

  Language:TypeScript30

• iasakura/lms-sandbox

  My sandbox of LMS

  Language:Scala20

• iasakura/Pico-s3

  Language:TypeScript30

• iasakura/spatial

  Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"

  Language:Scala10

• iasakura/tiramisu

  A polyhedral compiler for expressing fast and portable data parallel algorithms

  Language:Jupyter Notebook10

• iasakura/tiramisu-test

  Language:C++20

• iasakura/udmabuf

  User space mappable dma buffer device driver for Linux.

  Language:C20

• iasakura/vivado_hls_clang_tidy_bug

  Language:C++30

• iasakura/yjs-sample

  Language:TypeScript20

• iasakura/yjs_in_erlang

  Language:Erlang

• iasakura/zaiko

  Language:TypeScript