lorezzed

lorezzed's Stars

• tauri-apps/tauri

  Build smaller, faster, and more secure desktop applications with a web frontend.

  Language:Rust78.8k4944k2.3k

• BurntSushi/ripgrep

  ripgrep recursively searches directories for a regex pattern while respecting your gitignore

  Language:Rust45.8k2931.6k1.9k

• sharkdp/fd

  A simple, fast and user-friendly alternative to 'find'

  Language:Rust32.2k145842777

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp18.8k2394.4k3k

• atuinsh/atuin

  ✨ Magical shell history

  Language:Rust18.3k59724508

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix16.2k27838.4k12.8k

• direnv/direnv

  unclutter your .profile

  Language:Go11.9k85689624

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++11.3k1235.9k1.4k

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell8.9k399270446

• saulpw/visidata

  A terminal spreadsheet multitool for discovering and arranging data

  Language:Python7.5k701.4k271

• triggerdotdev/trigger.dev

  Trigger.dev is the open source background jobs platform for TypeScript.

  Language:TypeScript7.5k35382422

• johnlindquist/kit

  Script Kit. Automate Anything.

  Language:TypeScript3.8k16218132

• patrick-steele-idem/morphdom

  Fast and lightweight DOM diffing/patching (no virtual DOM needed)

  Language:JavaScript3.1k45134128

• OpenPipe/OpenPipe

  Turn expensive prompts into cheap fine-tuned models

  Language:TypeScript2.4k2056124

• LnL7/nix-darwin

  nix modules for darwin

  Language:Nix2.4k37468396

• YS-L/csvlens

  Command line csv viewer

  Language:Rust2.3k126139

• d12frosted/homebrew-emacs-plus

  Emacs Plus formulae for the Homebrew package manager

  Language:Ruby2.2k44354171

• ndmitchell/hlint

  Haskell source code suggestions

  Language:Haskell1.4k33946194

• fossas/fossa-cli

  Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

  Language:Haskell1.2k41350171

• oscartbeaumont/rspc

  A framework for building typesafe web backends in Rust

  Language:Rust1.1k918449

• badlogic/heissepreise

  Jo eh.

  Language:JavaScript9402178114

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML9214645881

• tauri-apps/tauri-action

  Build your Web application as a Tauri binary for macOS, Linux and Windows

  Language:TypeScript75815176129

• egoist/dropcode

  A simple and lightweight code snippet manager.

  Language:TypeScript73251227

• hwayne/lets-prove-leftpad

  Proving leftpad correct in a dozen different ways

  Language:SystemVerilog61715859

• lsmor/snake-fury

  a challenge for Haskell beginners

  Language:Haskell4276531

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX27327168

• apauley/hledger-flow

  An hledger/ledger-cli workflow focusing on automated statement import and classification

  Language:Haskell15775822

• gallais/agdarsec

  Total Parser Combinators in Agda

  Language:Agda1214129

• matthunz/conduct

  A cross-platform UI framework for Haskell

  Language:Haskell40420