Giters
Taka (Taka0007)

Taka0007

Geek Repo

5

followers

20

following

67

stars

Company:Japan

Location:Kyoto

Home Page:https://gist.github.com/Taka0007

Github PK Tool:Github PK Tool

Taka's starred repositories

create-react-app

Set up a modern web app by running one command.

Language:JavaScriptLicense:MITStargazers:102305Issues:1927Issues:8292

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:95463Issues:1482Issues:53645

numpy

The fundamental package for scientific computing with Python.

Language:PythonLicense:NOASSERTIONStargazers:27223Issues:597Issues:12633

Free-Certifications

A curated list of free courses & certifications.

License:MITStargazers:24938Issues:634Issues:85

generative-ai

Sample code and notebooks for Generative AI on Google Cloud, with Gemini on Vertex AI

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:6435Issues:148Issues:157

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4257Issues:69Issues:1667

TernausNet

UNet model with VGG11 encoder pre-trained on Kaggle Carvana dataset

Language:PythonLicense:MITStargazers:1046Issues:32Issues:16

HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Language:Standard MLLicense:NOASSERTIONStargazers:611Issues:50Issues:638

mewz

A unikernel designed specifically for running Wasm applications and compatible with WASI

Language:ZigLicense:GPL-3.0Stargazers:499Issues:6Issues:11

scRNA-seq_online

Language:RStargazers:475Issues:13Issues:93

GAN_Review

A Survey and Taxonomy of the Recent GANs Development，computer vision & time series

License:MITStargazers:441Issues:25Issues:4

SciLean

Scientific computing in Lean 4

Language:LeanLicense:Apache-2.0Stargazers:271Issues:17Issues:31

awesome-prml-ja

インターネット各地に散逸する「パターン認識と機械学習」の解説資料を集約するリポジトリ

License:MITStargazers:262Issues:23Issues:0

paper-reading

Notes about papers I read (in Japanese)

Stargazers:156Issues:23Issues:65

keras-docs-ja

Japanese translation of the Keras documentation.

Stargazers:68Issues:12Issues:8

NoTransactionBandNetwork

Minimal implementation and experiments of "No-Transaction Band Network: A Neural Network Architecture for Efficient Deep Hedging".

Language:Jupyter NotebookLicense:MITStargazers:30Issues:13Issues:4

intern-coding-tasks

Language:HTMLStargazers:28Issues:64Issues:0

JMMLU

日本語マルチタスク言語理解ベンチマーク Japanese Massive Multitask Language Understanding Benchmark

License:CC-BY-SA-4.0Stargazers:21Issues:1Issues:4

scRNAseq_handson

PythonによるシングルセルRNA-seq解析。

Language:Jupyter NotebookStargazers:20Issues:3Issues:0

GameSkeleton

The standard template to create a lean game

Language:LeanLicense:MITStargazers:15Issues:5Issues:0

2D-FD

非圧縮性ナビエストークス方程式(2次元)を解くプログラム

Language:PythonStargazers:10Issues:1Issues:0

lean-by-example-legacy

Lean の基本的な構文や機能を紹介するためのサンプルコード集です．（執筆中止）

Language:LeanLicense:Apache-2.0Stargazers:6Issues:3Issues:54

physmath

物理数学

Language:HTMLLicense:CC-BY-4.0Stargazers:4Issues:3Issues:2

CP_Library

Language:JavaLicense:CC0-1.0Stargazers:3Issues:1Issues:0

yui-kr

Language:RustLicense:MITStargazers:2Issues:2Issues:0

CPU_FirstActivityWithShinrabansho

Language:ScalaStargazers:1Issues:1Issues:0

fastwedge

fast computation of k-RDM and wedge product

Language:PythonLicense:MITStargazers:1Issues:1Issues:0

RandomMatrixTheory

Language:TeXStargazers:1Issues:1Issues:0

lean-cluster-algebra

Language:LeanStargazers:1Issues:2Issues:0

atcoder-clock

A timer app that provides suggestions for atcoder problems

Language:TypeScriptLicense:MITStargazers:1Issues:1Issues:1