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

Showing results

Kani Rust Verifier

Rust 2,800 133 Updated Dec 15, 2025

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

C++ 361 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,245 6,861 Updated Dec 18, 2025

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

Rust 3,991 324 Updated Dec 17, 2025

A fast type checker and language server for Python

Rust 5,064 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,152 66 Updated Dec 18, 2025

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

TypeScript 8,093 529 Updated Dec 18, 2025

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

Python 348 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

C++ toolkit for use in reading in and analyzing Gromacs files

C++ 12 6 Updated Oct 3, 2020

Spec-driven development for AI coding assistants.

TypeScript 12,961 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

Plugins/extension for Polars

Rust 305 65 Updated Jul 28, 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
Next