intsuc

intsuc's Stars

• torvalds/linux

  Linux kernel source tree

  Language:C180k7.9k053.4k

• ollama/ollama

  Get up and running with Llama 3.2, Mistral, Gemma 2, and other large language models.

  Language:Go91.7k5434.5k7.2k

• facebook/docusaurus

  Easy to maintain open source documentation websites.

  Language:TypeScript55.9k4073.1k8.4k

• RVC-Boss/GPT-SoVITS

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

  Language:Python33.4k2041.2k3.8k

• pnpm/pnpm

  Fast, disk space efficient package manager

  Language:TypeScript29.3k1404.3k986

• RayTracing/raytracing.github.io

  Main Web Site (Online Books)

  Language:HTML8.7k90895856

• github/copilot.vim

  Neovim plugin for GitHub Copilot

  Language:Vim Script8.3k1220290

• dependabot/dependabot-core

  🤖 Dependabot's core logic for creating update PRs.

  Language:Ruby4.7k1103.6k1k

• mozilla/uniffi-rs

  a multi-language bindings generator for rust

  Language:Rust2.7k401.3k224

• zbirenbaum/copilot.lua

  Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

  Language:Lua2.6k918975

• SilasMarvin/lsp-ai

  LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

  Language:Rust2.1k194572

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1k352.6k227

• EricLengyel/Terathon-Math-Library

  C++ math library for 2D/3D/4D vector, matrix, quaternion, and geometric algebra.

  Language:C++90722668

• litagin02/Style-Bert-VITS2

  Style-Bert-VITS2: Bert-VITS2 with more controllable voice styles.

  Language:Python7031410684

• TerminalFi/LSP-copilot

  GitHub Copilot support for Sublime Text LSP plugin provided through Copilot.vim.

  Language:Python658159925

• flux-rs/flux

  Refinement Types for Rust

  Language:Rust6421115218

• bytecodealliance/jco

  JavaScript toolchain for working with WebAssembly Components

  Language:Rust6181819662

• Kotlin/kandy

  Kotlin plotting library.

  Language:Kotlin584632815

• B00TK1D/copilot-api

  GitHub Copilot API

  Language:Python1455922

• RayTracing/gpu-tracing

  Ray tracing on GPU systems

  Language:HTML10319107

• microsoft/z3guide

  Tutorials and courses for Z3

  Language:JavaScript6279423

• polarity-lang/polarity

  A Language with Dependent Data and Codata Types

  Language:Rust502900

• leanprover/leansat

  This package provides an interface and foundation for verified SAT reasoning

  Language:Lean49496

• egraphs-good/eggcc

  Language:Rust4261378

• MeadowlarkDAW/Yarrow

  A modern retained-mode GUI library in Rust with extreme performance and control, geared towards audio software

  Language:Rust33404

• tudo-aqua/z3-turnkey

  TurnKey artifact for Z3

  Language:Java335115

• zesterer/vm-perf

  Performance comparisons between various virtual interpreter implementation strategies

  Language:Rust30211

• jfcherng/copilot-node-server

  Copilot Node.js server.

  Language:Python28222

• marcusrossel/lean-egg

  A (WIP) equality saturation tactic for Lean based on egg.

  Language:Lean273211

• plclub/cbpv-effects-coeffects

  Formalization of CBPV extended with effect and coeffect tracking

  Language:Coq11500