vaibhavsagar

vaibhavsagar's Stars

• dani-garcia/vaultwarden

  Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

  Language:Rust39.3k2462.1k1.9k

• electric-sql/pglite

  Lightweight WASM Postgres with real-time, reactive bindings.

  Language:TypeScript9.5k57166204

• spotify/pedalboard

  🎛 🔊 A Python library for audio.

  Language:C++5.2k58192261

• mdaines/viz-js

  Graphviz in your browser

  Language:JavaScript4.1k117163353

• mbnuqw/sidebery

  Firefox extension for managing tabs and bookmarks in sidebar.

  Language:TypeScript3.6k311.5k176

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++82428620184

• utdemir/nix-tree

  Interactively browse dependency graphs of Nix derivations.

  Language:Haskell77164614

• wader/jqjq

  jq implementation of jq

  Language:jq69112415

• SaumonNet/proxmox-nixos

  The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

  Language:Nix656153330

• arminbiere/kissat

  Language:C465244785

• arminbiere/cadical

  CaDiCaL SAT Solver

  Language:C++3802287134

• abathur/resholve

  a shell resolver? :) (find and resolve shell script dependencies)

  Language:Python2318735

• xkcd/incredible

  A massive collaborative rube goldberg machine.

  Language:TypeScript218346

• MercuryTechnologies/ghciwatch

  Load a GHCi session for a Haskell project and reload it when source files change

  Language:Rust1134910411

• ShadowBlip/InputPlumber

  Open source input router and remapper daemon for Linux

  Language:Rust10166112

• jaspervdj/turnstyle

  Turnstyle is a graphical esoteric programming language based on lambda calculus

  Language:Haskell76592

• jsiek/deduce

  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

  Language:Python59323

• dbueno/funsat

  An efficient, embeddable DPLL SAT solver in Haskell

  Language:Groff37947

• fir-lang/fir

  Language:Rust253233

• garnix-io/cradle

  Language:Haskell19482

• dpiponi/StableBlog

  More stable versions of some articles from my blog

  Language:Haskell15210

• cachix/hs-opentelemetry-instrumentation-servant

  OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.

  Language:Haskell12101

• TristanCacqueray/pipewire.hs

  Haskell bindings to Pipewire Multimedia Framework

  Language:Haskell9102

• arianvp/nixos-village

  AWS infrastructure for the NixOS village at Camp

  Language:HCL630

• runeksvendsen/haskell-function-graph

  Compose Haskell functions to reach one type from another

  Language:Haskell6220

• Ericson2314/lean-tic-tac-toe

  Language:Lean5100

• composewell/packdiff

  Language:Haskell446

• oberblastmeister/seraph

  Language:Haskell4211

• garnix-io/comment

  Simple tool to add comments to process invocations

  Language:Nix20

• Release-Candidate/1-billion-row-challenge

  My take on the one billion row challenge: https://github.com/gunnarmorling/1brc?tab=readme-ov-file#rules-and-limits

  Language:Go1100