archbung

archbung's Stars

• tycrek/degoogle

  A huge list of alternatives to Google products. Privacy tips, tricks, and links.

  8.2k398

• Alexander-Miller/treemacs

  Language:Emacs Lisp2.2k158

• visualboyadvance-m/visualboyadvance-m

  The continuing development of the legendary VBA gameboy advance emulator.

  Language:C++3.5k326

• sdiehl/wiwinwlh

  What I Wish I Knew When Learning Haskell

  Language:Haskell2.6k241

• VSCodium/vscodium

  binary releases of VS Code without MS branding/telemetry/licensing

  Language:Shell26.8k1.2k

• NorfairKing/sparep

  Language:Nix81

• whonore/Coqtail

  Interactive Coq Proofs in Vim

  Language:Python28735

• kmonad/kmonad

  An advanced keyboard manager

  Language:Haskell4.4k329

• mozilla/nixpkgs-mozilla

  Mozilla overlay for Nixpkgs.

  Language:Nix546129

• cantino/mcfly

  Fly through your shell history. Great Scott!

  Language:Rust7.2k181

• embark-theme/vim

  An ambitious theme for vim

  Language:Vim Script67726

• mlvzk/manix

  A fast CLI documentation searcher for Nix.

  Language:Rust38021

• mawww/kakoune

  mawww's experiment for a better code editor

  Language:C++10.2k729

• compiling-to-categories/concat

  Compiling to Categories

  Language:Haskell44750

• pepeiborra/hls-tutorial

  A tutorial on writing Haskell Language Server plugins

  701

• srid/nix-config

  My NixOS configuration (DEPRECATED)

  Language:Nix12312

• yunlingz/ci_dark

  Language:Vim script8611

• ms-jpq/chadtree

  File manager for Neovim. Better than NERDTree.

  Language:Python1.7k64

• philipl/pifs

  πfs - the data-free filesystem!

  Language:C6.8k292

• junegunn/fzf

  :cherry_blossom: A command-line fuzzy finder

  Language:Go69k2.5k

• JeffreyBenjaminBrown/hode

  rslt, take five-ish

  Language:Haskell1504

• graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell

  Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell

  Language:Haskell1579

• tamarin-prover/tamarin-prover

  Main source code repository of the Tamarin prover for security protocol verification.

  Language:Haskell452137

• nix-community/terraform-nixos

  A set of Terraform modules that are designed to deploy NixOS [maintainer=@adrian-gierakowski]

  Language:HCL35062

• simonmichael/hledger

  Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

  Language:Haskell3.2k323

• vimwiki/vimwiki

  Personal Wiki for Vim

  Language:Vim Script9k628

• nh2/nixops-tutorial

  Tutorial for practical deployments with NixOps

  Language:Nix1116

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.2k116

• haskell-servant/servant

  Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

  Language:Haskell1.9k415

• purebred-mua/purebred-email

  A fast email parsing library implemented in Haskell

  Language:Haskell265