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 12 Updated Jun 15, 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 10 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,340 61 Updated Jun 15, 2026

A Proof-oriented Programming Language

F* 3,044 256 Updated Jun 15, 2026
Haskell 5 Updated Dec 28, 2025

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

C++ 5,620 595 Updated Jun 12, 2026

The best WordPress to static site migrator

Go 300 25 Updated Jun 3, 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 819 47 Updated Jun 12, 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,061 41 Updated Jun 13, 2025

Haskell implemented with combinators

C 743 79 Updated Jun 15, 2026

WASI-enabled WebAssembly C/C++ toolchain

CMake 1,576 227 Updated Jun 13, 2026

Automatically generate Haskell bindings from C header files

Haskell 96 11 Updated Jun 15, 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,062 188 Updated Jun 14, 2026

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

TypeScript 2,518 185 Updated Jun 6, 2026

A TC39 proposal for immutable ArrayBuffers

JavaScript 37 7 Updated May 8, 2026

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

TypeScript 87 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,978 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,038 178 Updated Jun 15, 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,319 157 Updated Jun 15, 2026

WebGPU for Python

Python 677 54 Updated Apr 22, 2026

A fast type checker and language server for Python

Rust 6,641 402 Updated Jun 15, 2026
Jupyter Notebook 33 5 Updated Jan 15, 2025

MLX: An array framework for Apple silicon

C++ 27,014 1,911 Updated Jun 14, 2026

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

Go 174,209 16,626 Updated Jun 15, 2026

Tensor library for machine learning

C++ 14,810 1,673 Updated Jun 15, 2026
Next