meimisaki

meimisaki's Stars

• svc-develop-team/so-vits-svc

  SoftVC VITS Singing Voice Conversion

  Language:Python25.8k4.8k

• coqui-ai/TTS

  🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production

  Language:Python35.3k4.3k

• RVC-Boss/GPT-SoVITS

  1 min voice data can also be used to train a good TTS model! (few shot voice cloning)

  Language:Python35.3k4k

• fishaudio/Bert-VITS2

  vits2 backbone with multilingual-bert

  Language:Python8k1.1k

• acheong08/ChatGPT

  Reverse engineered ChatGPT API

  Language:Python28k4.5k

• CjangCjengh/vits

  VITS implementation of Japanese, Chinese, Korean, Sanskrit and Thai

  Language:Python913194

• theBowja/genshin-db

  npm package with searching functions for Genshin Impact data of all in-game languages. Data parsed/organized directly from GenshinData repo.

  Language:JavaScript37168

• fbsamples/ghc-hotswap

  Example code for how we swap compiled code within a running Haskell process.

  Language:Haskell17210

• tweag/linear-types

  Drafts, notes and resources for adding linear typing to GHC.

  Language:TeX755

• sweirich/pi-forall

  A demo implementation of a simple dependently-typed language

  Language:Haskell56389

• mstksg/auto

  Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto

  Language:Haskell18011

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.5k1.1k

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k987

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k356

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k644

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k228

• elm/compiler

  Compiler for Elm, a functional language for reliable webapps.

  Language:Haskell7.5k662

• purcell/emacs.d

  An Emacs configuration bundle with batteries included

  Language:Emacs Lisp6.9k2.1k

• BoleynSu/BSL-AlgorithmW

  Algorithm W used in Hindley–Milner type system

  Language:C++32

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.6k564

• mikeizbicki/subhask

  Type safe interface for working in subcategories of Hask

  Language:Haskell41843

• ekmett/ad

  Automatic Differentiation

  Language:Haskell37273

• the-little-prover/j-bob

  Language:Scheme41963

• i-tu/Hasklig

  Hasklig - a code font with monospaced ligatures

  Language:Python5.6k153

• justinethier/husk-scheme

  A full implementation of the Scheme programming language for the Haskell Platform.

  Language:Haskell30829

• servo/servo

  Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

  Language:Rust28.4k3k

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust98.3k12.7k

• kilnyy/ssh-completion

  Auto-complete ssh hostname use known_hosts

  Language:Shell91

• meimisaki/Sora

  A simple galgame engine (using webgl)

  Language:JavaScript71

• kasuganosora/Reitsuki

  Html5 GalGameEngine

  Language:JavaScript5014