vivCoding

vivCoding's Stars

• life4/deal

  🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

  Language:Python74325

• sr-lab/coqpyt

  Python client for coq-lsp

  Language:Python253

• trishullab/PutnamBench

  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

  Language:Lean558

• vietai/ViT5

  Language:Python599

• nilsherzig/LLocalSearch

  LLocalSearch is a completely locally running search aggregator using LLM Agents. The user can ask a question and the system will use a chain of LLMs to find the answer. The user can see the progress of the agents and the final answer. No OpenAI or Google API keys are needed.

  Language:Go5.6k358

• ntdevlabs/tiny11builder

  Scripts to build a trimmed-down Windows 11 image.

  Language:PowerShell9.7k850

• SethPoulsen/robottwo

  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.

  Language:Coq16

• moqingyan/dsr-lm

  Language:Python112

• YuxiXie/SelfEval-Guided-Decoding

  Language:Python856

• scallop-lang/scallop

  Framework and Language for Neurosymbolic Programming.

  Language:Rust2078

• alpinejs/alpine

  A rugged, minimal framework for composing JavaScript behavior in your markup.

  Language:HTML28.3k1.2k

• cumulo-autumn/StreamDiffusion

  StreamDiffusion: A Pipeline-Level Solution for Real-Time Interactive Generation

  Language:Python9.7k692

• simeononsecurity/Windows-Optimize-Harden-Debloat

  Enhance the security and privacy of your Windows 10 and Windows 11 deployments with our fully optimized, hardened, and debloated script. Adhere to industry best practices and Department of Defense STIG/SRG requirements for optimal performance and security.

  Language:PowerShell1.2k83

• juliangarnier/anime

  JavaScript animation engine

  Language:JavaScript49.9k3.7k

• ardeora/solid-toast

  Customizable Toast Notifications for SolidJS

  Language:TypeScript83026

• thebookisclosed/ViVe

  C# library and console app for using new feature control APIs available in Windows 10 version 2004 and newer

  Language:C#4.9k297

• outofcoffee/imposter

  Scriptable, multipurpose mock server. Run standalone mock servers, or embed mocks within your tests.

  Language:Kotlin36660

• m-bain/whisperX

  WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)

  Language:Python12.2k1.3k

• 0hq/WebGPT

  Run GPT model on the browser with WebGPU. An implementation of GPT inference in less than ~1500 lines of vanilla Javascript.

  Language:JavaScript3.6k209

• ggerganov/llama.cpp

  LLM inference in C/C++

  Language:C++67.3k9.7k

• lm-sys/FastChat

  An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

  Language:Python36.9k4.5k

• iamcal/js-emoji

  A JS Emoji conversion library

  Language:JavaScript1.4k232

• suren-atoyan/monaco-react

  Monaco Editor for React - use the monaco-editor in any React application without needing to use webpack (or rollup/parcel/etc) configuration files / plugins

  Language:TypeScript3.8k267

• mdbootstrap/TW-Elements

  𝙃𝙪𝙜𝙚 collection of Tailwind MIT licensed (free) components, sections and templates 😎

  Language:JavaScript12.9k1.6k

• swordev/suid

  A port of Material-UI (MUI) built with SolidJS.

  Language:TypeScript68049

• solidjs/solid-realworld

  A Solid Implementation of the Realworld Example App

  Language:JavaScript22933

• react-simple-code-editor/react-simple-code-editor

  Simple no-frills code editor with syntax highlighting

  Language:TypeScript1.6k171

• loonywizard/js-confetti

  JS Confetti library that supports emojis 🦄 🎉 ⚡️

  Language:TypeScript1.1k48

• nathancahill/split

  Unopinionated utilities for resizeable split views

  Language:JavaScript6.1k450

• skaur728/bmx-app

  Language:TypeScript2