Giters
Uchida Mizuki (UchidaMizuki)

UchidaMizuki

Geek Repo

16

followers

34

following

421

stars

Company:Yachiyo Engineering Co., Ltd.

Location:Japan

Home Page:uchidamizuki.quarto.pub/blog

Github PK Tool:Github PK Tool

Uchida Mizuki's starred repositories

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1083Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:3930Issues:0Issues:0

Catlab.jl

A framework for applied category theory in the Julia language

Language:JuliaLicense:MITStargazers:596Issues:0Issues:0

rayshader

R Package for 2D and 3D mapping and data visualization

Language:RStargazers:2017Issues:0Issues:0

nanoparquet

R package to read and write Parquet files

Language:C++License:NOASSERTIONStargazers:9Issues:0Issues:0

glitter

an R package which writes SPARQL queries

Language:RezStargazers:43Issues:0Issues:0

nngeo

k-Nearest Neighbor Join for Spatial Data

Language:CLicense:NOASSERTIONStargazers:77Issues:0Issues:0

Category_Theory_Machine_Learning

List of papers studying machine learning through the lens of category theory

Language:PythonStargazers:1161Issues:0Issues:0

AIC24_Track1_YACHIYO_RIIPS

Language:PythonLicense:MITStargazers:2Issues:0Issues:0

sqltargets

targets extension for SQL queries

Language:RLicense:NOASSERTIONStargazers:27Issues:0Issues:0

scope-rl

SCOPE-RL: A python library for offline reinforcement learning, off-policy evaluation, and selection

Language:PythonLicense:Apache-2.0Stargazers:102Issues:0Issues:0

zr-obp

Open Bandit Pipeline: a python library for bandit algorithms and off-policy evaluation

Language:PythonLicense:Apache-2.0Stargazers:622Issues:0Issues:0

nimble

New file format for storage of large columnar datasets.

Language:C++License:Apache-2.0Stargazers:357Issues:0Issues:0

adcomp

AD computation with Template Model Builder (TMB)

Language:C++License:NOASSERTIONStargazers:165Issues:0Issues:0

duckdb-r

The duckdb R package

Language:RLicense:NOASSERTIONStargazers:100Issues:0Issues:0

duckplyr

A drop-in replacement for dplyr, powered by DuckDB for performance.

Language:RLicense:NOASSERTIONStargazers:214Issues:0Issues:0

duckdb

DuckDB is an analytical in-process SQL database management system

Language:C++License:MITStargazers:19121Issues:0Issues:0

brinla

Bayesian Regression with INLA

Language:RLicense:GPL-3.0Stargazers:43Issues:0Issues:0

templates

Templates that are directly maintained by the Typst team.

Language:TypstLicense:MIT-0Stargazers:195Issues:0Issues:0

graphql

Bindings to libgraphqlparser for R

Language:C++License:NOASSERTIONStargazers:37Issues:0Issues:0

ghql

GraphQL R client

Language:RLicense:NOASSERTIONStargazers:144Issues:0Issues:0

tidypolars

Get the power of polars with the syntax of the tidyverse

Language:RLicense:NOASSERTIONStargazers:138Issues:0Issues:0

od

An R package for working with origin-destination data

Language:RLicense:GPL-3.0Stargazers:32Issues:0Issues:0

fmesher

Standalone package for mesh/SPDE/GMRF code from the INLA package

Language:C++License:MPL-2.0Stargazers:10Issues:0Issues:0

ggside

ggplot2 extension allowing for plotting various geometries as side panels using the ggplot2 API

Language:RLicense:NOASSERTIONStargazers:323Issues:0Issues:0

glmmTMB

glmmTMB

Language:HTMLStargazers:273Issues:0Issues:0

designer

Prototype UI for Shiny Apps

Language:JavaScriptLicense:NOASSERTIONStargazers:146Issues:0Issues:0

cube

📊 Cube — The Semantic Layer for Building Data Applications

Language:RustLicense:NOASSERTIONStargazers:17367Issues:0Issues:0

typst-templates

Repository of Typst templates for Quarto

Language:TypstLicense:CC0-1.0Stargazers:43Issues:0Issues:0

rpart

Recursive Partitioning and Regression Trees

Language:CStargazers:42Issues:0Issues:0