myuon

myuon's Stars

• CompVis/stable-diffusion

  A latent text-to-image diffusion model

  Language:Jupyter Notebook67.7k55871110.1k

• react-hook-form/react-hook-form

  📋 React Hooks for form state management and validation (Web + React Native)

  Language:TypeScript41.2k1704.5k2.1k

• floating-ui/floating-ui

  A JavaScript library to position floating elements and create interactions for them.

  Language:TypeScript29.8k2561.4k1.6k

• gfx-rs/wgpu

  A cross-platform, safe, pure-Rust graphics API.

  Language:Rust12.3k1122.6k902

• aws/aws-cdk

  The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code

  Language:TypeScript11.6k22314.7k3.9k

• hajimehoshi/ebiten

  Ebitengine - A dead simple 2D game engine for Go

  Language:Go10.9k1472.6k652

• microsoft/windows-rs

  Rust for Windows

  Language:Rust10.3k1281.5k486

• rui314/chibicc

  A small C compiler

  Language:C9.6k177107877

• ghc/ghc

  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  Language:Haskell3k1430705

• argyleink/gui-challenges

  Components from the YouTube show GUI Challenges: accessible, responsive, adaptive and cross browser components.

  Language:HTML2.8k4846392

• antoyo/relm

  Idiomatic, GTK+-based, GUI library, inspired by Elm, written in Rust

  Language:Rust2.4k4119478

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k55790192

• sheepla/pingu

  🐧ping command but with pingu

  Language:Go2k12865

• polysemy-research/polysemy

  :gemini: higher-order, no-boilerplate monads

  Language:Haskell1k2924972

• dhall-lang/dhall-haskell

  Maintainable configuration files

  Language:Dhall91229910213

• image-js/image-js

  Image processing and manipulation in JavaScript

  Language:JavaScript6892630368

• ghc-proposals/ghc-proposals

  Proposed compiler and language changes for GHC and GHC/Haskell

  Language:Python68213188269

• blackbeam/mysql_async

  Asyncronous Rust Mysql driver based on Tokio.

  Language:Rust3769172114

• haskell-game/sdl2

  Haskell bindings to the SDL2 library

  Language:Haskell3633113686

• rnitta/commit_artist

  Beautify Your Git Commits.

  Language:Rust213413

• google/js-green-licenses

  JavaScript package.json License Checker

  Language:TypeScript17542027

• cmcl/frankjnr

  Another implementation of Frank.

  Language:Haskell7113105

• knights-dev/knights

  Functional visual programming environment

  Language:TypeScript649226

• beijaflor-io/haskell-libui

  Haskell bindings to the libui C library.

  Language:Haskell475154

• haskell-works/cabal-cache

  CI assistant

  Language:Haskell4492311

• larsrh/libisabelle

  A Scala library which talks to Isabelle (DISCONTINUED)

  Language:Scala385308

• LayerXcom/cbc-casper-proof

  Proofs of properties of CBC Casper

  Language:TeX355844

• loliGothicK/mitama-dimensional

  C++17 Library for dimensional analysis based on variadic Phantom-Type.

  Language:C++346113

• mazrean/isucrud

  ISUCON用DBへのCRUDへのデータフロー可視化ツール

  Language:Go27102

• sampou-org/ghc_users_guide_ja

  Glassgow Haskell Compiler Users Guide

  Language:Haskell9411