Skip to content
View minoki's full-sized avatar

Sponsors

@toyboot4e

Sponsoring

@tekezo

Block or report minoki

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Starred repositories

Showing results

An experimental WebAssembly backend for PureScript compiler

PureScript 13 1 Updated Jun 18, 2026

Following the RISC-V IME extension standard, and reusing Vector register resources, these instructions can bring more than a tenfold performance improvement to AI applications at a very small hardw…

C 11 4 Updated Nov 18, 2025

>99.5% KaTeX syntax coverage. LaTeX math renderer in pure Rust. No JavaScript, no WebView, no DOM. One Rust core → iOS, Android, Flutter, Web, PNG. C ABI · WASM · Server-side PNG/SVG.

Rust 1,343 61 Updated Jun 16, 2026

A Proof-oriented Programming Language

F* 3,043 256 Updated Jun 18, 2026
Haskell 5 Updated Dec 28, 2025

A small, fast, and embeddable programming language based on Lua with a gradual type system.

C++ 5,624 597 Updated Jun 17, 2026

The best WordPress to static site migrator

Go 300 26 Updated Jun 16, 2026

The MaPLe compiler: efficient and scalable parallel functional programming

Standard ML 427 28 Updated Apr 14, 2026

JAX in JavaScript – ML library for the web, running on WebGPU & Wasm

TypeScript 824 47 Updated Jun 18, 2026
Rust 218 4 Updated Jun 29, 2024

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Haskell 1,062 41 Updated Jun 13, 2025

Haskell implemented with combinators

C 744 79 Updated Jun 17, 2026

WASI-enabled WebAssembly C/C++ toolchain

CMake 1,578 228 Updated Jun 16, 2026

Automatically generate Haskell bindings from C header files

Haskell 96 11 Updated Jun 18, 2026

Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12, MySQL, Chromium, Redis and WebKit/Safari

C++ 2,060 187 Updated Jun 14, 2026

Typescript to lua transpiler. https://typescripttolua.github.io/

TypeScript 2,519 185 Updated Jun 6, 2026

A TC39 proposal for immutable ArrayBuffers

JavaScript 38 7 Updated May 8, 2026

『TypeScriptではじめる型システム』(n月刊ラムダノート2024, Vol.4, No.3)サポートサイト

TypeScript 88 13 Updated May 8, 2025

Rutgers APL correctly rounded math library

C 33 3 Updated Mar 11, 2021

A lightweight library for portable low-level GPU computation using WebGPU.

C++ 3,981 194 Updated Oct 8, 2025

WebGPU/WebGL accelerated numpy-compatible array library for web browser

Python 46 1 Updated Mar 4, 2025

Native WebGPU implementation. Mirror of https://dawn.googlesource.com/dawn. File bugs here: https://crbug.com/dawn/new

C++ 1,041 180 Updated Jun 18, 2026

webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.

C++ 568 56 Updated Jun 3, 2026

Native WebGPU implementation based on wgpu-core

Rust 1,322 158 Updated Jun 15, 2026

WebGPU for Python

Python 678 55 Updated Jun 17, 2026

A fast type checker and language server for Python

Rust 6,667 407 Updated Jun 18, 2026
Jupyter Notebook 33 5 Updated Jan 15, 2025

MLX: An array framework for Apple silicon

C++ 27,131 1,924 Updated Jun 17, 2026

Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

Go 174,451 16,674 Updated Jun 18, 2026

Tensor library for machine learning

C++ 14,840 1,679 Updated Jun 15, 2026
Next