severen

severen's Stars

• pgcentralfoundation/pgrx

  Build Postgres Extensions with Rust!

  Language:Rust3.7k249

• rami3l/plfl

  Learn Lean 4 with PLFA proofs.

  Language:Lean505

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust35.5k944

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2.1k123

• twpayne/chezmoi

  Manage your dotfiles across multiple diverse machines, securely.

  Language:Go13.5k495

• bytecodealliance/rustix

  Safe Rust bindings to POSIX-ish APIs

  Language:Rust1.5k161

• ollama/ollama

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

  Language:Go99.6k7.9k

• astral-sh/uv

  An extremely fast Python package and project manager, written in Rust.

  Language:Rust27.7k797

• ggandor/leap.nvim

  Neovim's answer to the mouse 🦘

  Language:Fennel4.4k46

• martinvonz/jj

  A Git-compatible VCS that is both simple and powerful

  Language:Rust9.4k323

• tokio-rs/tracing

  Application level tracing for Rust.

  Language:Rust5.5k726

• containers/podman

  Podman: A tool for managing OCI containers and pods.

  Language:Go24k2.4k

• containers/buildah

  A tool that facilitates building OCI images.

  Language:Go7.5k785

• ratatui/ratatui

  A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

  Language:Rust11k338

• ajeetdsouza/zoxide

  A smarter cd command. Supports all major shells.

  Language:Rust23.1k557

• robbert-vdh/yabridge

  A modern and transparent way to use Windows VST2, VST3 and CLAP plugins on Linux

  Language:C++2.5k65

• complexlogic/rsgain

  A simple, but powerful ReplayGain 2.0 tagging utility

  Language:C++29522

• harfbuzz/harfbuzz

  HarfBuzz text shaping engine

  Language:C++4.2k633

• ParkMyCar/compact_str

  A memory efficient string type that can store up to 24* bytes on the stack

  Language:Rust65347

• ValveSoftware/GameNetworkingSockets

  Reliable & unreliable messages over UDP. Robust message fragmentation & reassembly. P2P networking / NAT traversal. Encryption.

  Language:C++8.3k621

• ishitatsuyuki/LatencyFleX

  Vendor agnostic latency reduction middleware. An alternative to NVIDIA Reflex.

  Language:C++81022

• GPUOpen-Effects/FidelityFX-FSR

  FidelityFX Super Resolution

  Language:C2.1k163

• GPUOpen-Effects/FidelityFX-FSR2

  FidelityFX Super Resolution 2

  Language:C2k182

• godot-rust/gdext

  Rust bindings for Godot 4

  Language:Rust3.2k200

• pdeljanov/Symphonia

  Pure Rust multimedia format demuxing, tag reading, and audio decoding library

  Language:Rust2.4k144

• maharmstone/btrfs

  WinBtrfs - an open-source btrfs driver for Windows

  Language:C5.9k227

• anholt/libepoxy

  Epoxy is a library for handling OpenGL function pointer management for you

  Language:C680161

• folke/lazy.nvim

  💤 A modern plugin manager for Neovim

  Language:Lua15k365

• kkawakam/rustyline

  Readline Implementation in Rust

  Language:Rust1.6k178

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust33.1k1.1k