msakai Goto Github PK

scipy

SciPy library main repository

seccon2015_online_ctf

SECCON2015 online CTF for public

seccon2016_retrospective

seq2seq

sequence to sequence neural network model for dialogue system

shonanartofsat

Schedule for ArtOfSAT

sign

Arithmetic over signs and sets of signs

slack-export-viewer

A Slack Export archive viewer that allows you to easily view and share your Slack team's export

smooth

A small SMT solver in Haskell

smtlib

Parser for smt-lib Command responses

soft-dtw

Python implementation of soft-DTW.

strong-qr-decoder

強力なQRコードデコーダ

tasty

Modern and extensible testing framework for Haskell

tasty-th

Automatically generate tasty test groups from functions in a module using TH

techcircle_openai_handson

Tech-Circle OpenAI Handson Repository

template-helper

Useful functions using Template Haskell.

teslacrack

Decryptor for the TeslaCrypt malware

test_github_actions_cuda

tmctf2015-qualifier

Trend Micro CTF Asia Pacific & Japan 2015 Online Qualifier

toysolver

My sandbox for experimenting with solver algorithms.

tpp2011

"Uniform Candy Distribution" problem

tpp2012

TPPmark2012

tpp2017

tpp2020

tppmark2014

tppmark2017

tppmark2020

My attempt to solve TPPmark problem of the 16th Theorem Proving and Provers meeting (TPP 2020).

treewidth-prediction

Prediction of Treewidth using Graph Neural Network, developed as part of PFN summer internship 2019.

tvm

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

typed-egison

uom-plugin

Units of measure as a GHC typechecker plugin