vinisilvag

vinisilvag's Stars

• facebook/react

  The library for web and native user interfaces.

  Language:JavaScript231k6.6k13.4k47.3k

• facebook/react-native

  A framework for building native applications using React

  Language:C++120k3.6k26.5k24.4k

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust100k1.5k56k13k

• twitter/the-algorithm

  Source code for Twitter's Recommendation Algorithm

  Language:Scala62.7k34297912.2k

• tmux/tmux

  tmux source code

  Language:C36k4343.5k2.1k

• colinhacks/zod

  TypeScript-first schema validation with static type inference

  Language:TypeScript34.9k652k1.2k

• t3-oss/create-t3-app

  The best way to start a full-stack, typesafe Next.js app

  Language:TypeScript25.9k986971.2k

• dracula/dracula-theme

  🧛🏻‍♂️ One theme. All platforms.

  22.8k1857422.3k

• biomejs/biome

  A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

  Language:Rust16.3k511.5k508

• catppuccin/catppuccin

  😸 Soothing pastel theme for the high-spirited!

  Language:TypeScript15.6k49471281

• morhetz/gruvbox

  Retro groove color scheme for Vim

  Language:Vim Script14k1253561.1k

• reactjs/react.dev

  The React documentation website

  Language:TypeScript11.1k2082.1k7.6k

• twitter/the-algorithm-ml

  Source code for Twitter's Recommendation Algorithm

  Language:Python10.2k105422.2k

• emilkowalski/sonner

  An opinionated toast component for React.

  Language:TypeScript9.1k13303291

• matze/mtheme

  A modern LaTeX Beamer theme

  Language:TeX6.5k127277843

• sadmann7/skateshop

  An open source e-commerce skateshop build with everything new in Next.js.

  Language:TypeScript5.3k5360767

• rebelot/kanagawa.nvim

  NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.

  Language:Lua4.5k14158187

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.3k2449277

• cvc5/cvc5

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

  Language:SMT1.1k362.6k237

• expo/react-conf-app

  Language:TypeScript83375164

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML63849664143

• Gingeh/wallpapers

  🖼️ Wallpapers to match your Catppuccin setups!

  2971078

• brunomaletta/Biblioteca

  Biblioteca de algoritmos, estruturas de dados e primitivas para Maratona de Programação da UFMG.

  Language:C++29110131

• piazzai/arguelles

  Simple, typographic beamer theme

  Language:TeX20741218

• ufmg-smite/lean-smt

  Tactics for discharging Lean goals into SMT solvers.

  Language:Lean15481719

• aserg-ufmg/micro-livraria

  Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.

  Language:JavaScript12152945

• ufmg-smite/carcara

  Language:Rust3391413

• cvc5/ethos

  A Flexible and Efficient Proof Checker for SMT Solvers

  Language:C++156107

• verus-lang/verus-analyzer

  A Verus compiler front-end for IDEs (derived from rust-analyzer)

  Language:Rust134194

• icd-ufmg/icd-ufmg.github.io

  Language:Jupyter Notebook76