Stars
igorlfs / nvim-dap-view
Visualize debugging sessions in neovim
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
Extend Gnome Shell with advanced tiling window management. Supports multiple monitors, Windows 11 Snap Assistant, Fancy Zones, customised tiling layouts and more.
A minimalistic and high-performance SAT solver
verus-lang / verus-analyzer
Forked from rust-lang/rust-analyzerA Verus compiler front-end for IDEs (derived from rust-analyzer)
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
😸 Soothing pastel theme for the high-spirited!
Tactics for discharging Lean goals into SMT solvers.
A framework for building native applications using React
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.
An open source e-commerce skateshop build with everything new in Next.js.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Empowering everyone to build reliable and efficient software.
Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.
The library for web and native user interfaces.
Source code for Twitter's Recommendation Algorithm
Source code for Twitter's Recommendation Algorithm
NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.