Skip to content
View HikaruEgashira's full-sized avatar
:octocat:
:octocat:
83 followers · 60 following

Sponsoring

@chakra-ui
@supabase
@antfu
@sosukesuzuki
@azu
@eslint
@refinedev
@prettier
@pydantic
@rust-analyzer
@pmndrs
@OWASP
@sindresorhus
+2

Highlights

Organizations

@C-FO @twin-te

Block or report HikaruEgashira

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Stars

nix

7 repositories

WasmEdge / WasmEdge

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…

C++ 9,034 804 Updated Mar 13, 2025

grafana / loki

Like Prometheus, but for logs.

Go 24,899 3,602 Updated Mar 14, 2025

wasmerio / wasmer

🚀 Fast, secure, lightweight containers based on WebAssembly

Rust 19,489 850 Updated Mar 13, 2025

contentlayerdev / contentlayer

Contentlayer turns your content into data - making it super easy to import MD(X) and CMS content in your app

TypeScript 3,425 198 Updated Nov 7, 2024

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 5,188 546 Updated Mar 14, 2025

abiosoft / colima

Container runtimes on macOS (and Linux) with minimal setup

Go 21,711 432 Updated Mar 7, 2025

idris-lang / Idris2

A purely functional programming language with first class types

Idris 2,615 382 Updated Mar 13, 2025