Skip to content
View kkiyama117's full-sized avatar
🎒
Kyoto University
🎒
Kyoto University

Highlights

  • Pro

Organizations

@unimap @vim-denops

Block or report kkiyama117

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

1500 results for source starred repositories
Clear filter

Kani Rust Verifier

Rust 2,798 133 Updated Dec 15, 2025

日本語文章の解析・校正を行う LSP サーバー。

C++ 359 8 Updated Dec 12, 2025

Rust library for local search optimization

Rust 14 Updated Dec 18, 2025

A Python package for processing molecules with RDKit in scikit-learn

Jupyter Notebook 210 13 Updated Dec 15, 2025

Node standard library for browser.

JavaScript 220 16 Updated Feb 4, 2025

Client library collection for exercising Probitas scenarios against real services.

TypeScript 2 Updated Dec 18, 2025

🏔️Optimization on Riemannian Manifolds in Julia

Julia 389 47 Updated Dec 17, 2025

no_std Hardware Abstraction Layers for ESP32 microcontrollers

Rust 1,615 369 Updated Dec 18, 2025

Lightweight coding agent that runs in your terminal

Rust 54,240 6,861 Updated Dec 18, 2025

Data transformation framework for AI. Ultra performant, with incremental processing. 🌟 Star if you like it!

Rust 3,984 323 Updated Dec 17, 2025

A fast type checker and language server for Python

Rust 5,063 226 Updated Dec 18, 2025

the simple alchemistry library

Python 230 55 Updated Dec 15, 2025

A strongly typed YAML deserializer that deserializes YAML directly into your Rust types without constructing an intermediate tree of “abstract values.”

Rust 94 5 Updated Dec 13, 2025

Data structure serialization library with several opposite design goals from Serde

Rust 909 29 Updated Dec 14, 2025

Text editor for your terminal: easy, powerful and fast

Rust 2,110 66 Updated Dec 18, 2025

BullMQ - Message Queue and Batch processing for NodeJS and Python based on Redis

TypeScript 8,094 529 Updated Dec 17, 2025

粋 (Sui) - A programming language optimized for LLM code generation

Python 347 20 Updated Dec 16, 2025

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

Rust 6,078 444 Updated Dec 18, 2025

Compile the Git version (tag name, or hash otherwise) and dirty state into your Rust program.

Rust 127 16 Updated Dec 13, 2023

A gentle, ephemeral OS crafted with wabi-sabi spirit — running on AWS EC2 as a virtual OS for mobile devices. Lightweight, minimalist, and designed to quietly support your moments.

Vue 27 Updated Dec 17, 2025

Spec-driven development for AI coding assistants.

TypeScript 12,929 902 Updated Dec 15, 2025

A very fast visualization library for large, high-dimensional data sets.

C++ 244 44 Updated Nov 30, 2024

Protein-Ligand Interaction Profiler - Analyze and visualize non-covalent protein-ligand interactions in PDB files according to 📝 Schake, Bolz, et al. (2025), https://doi.org/10.1093/nar/gkaf361

Python 620 133 Updated Oct 30, 2025

Secure types for handling sensitive data in Rust

Rust 4 Updated Nov 18, 2025

Auto-QChem is an automated workflow for the generation and storage of DFT calculations for organic molecules.

Python 113 22 Updated Sep 3, 2025

🅰️ Arto — the Art of Reading Markdown.

Rust 21 2 Updated Dec 4, 2025

BlockArrays for Julia

Julia 241 35 Updated Dec 1, 2025

Beautiful Python async

Python 188 2 Updated Dec 12, 2025

Talos Linux is a modern Linux distribution built for Kubernetes.

Go 9,430 758 Updated Dec 17, 2025
Next