fng97

fng97's Stars

• google/fuzztest

  Language:C++69770

• mull-project/mull

  Practical mutation testing and fault injection for C and C++

  Language:C++73373

• rszyma/kanata-tray

  Tray Icon for Kanata

  Language:Go531

• pimutils/khal

  :calendar: CLI calendar application

  Language:Python2.6k200

• obi1kenobi/trustfall

  A query engine for any combination of data sources. Query your files and APIs as if they were databases!

  Language:Rust2.4k69

• google/highway

  Performance-portable, length-agnostic SIMD with runtime dispatch

  Language:C++4.1k311

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k394

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k256

• swaits/zellij-nav.nvim

  Seamless navigation between Neovim windows and Zellij panes.

  Language:Lua685

• ThePrimeagen/harpoon

  Language:Lua6.7k364

• xanderfrangos/twinkle-tray

  Easily manage the brightness of your monitors in Windows from the system tray

  Language:JavaScript5.2k169

• Rem0o/FanControl.Releases

  This is the release repository for Fan Control, a highly customizable fan controlling software for Windows.

  13.8k438

• Atlas-OS/Atlas

  🚀 An open and lightweight modification to Windows, designed to optimize performance, privacy and usability.

  Language:Batchfile13.1k507

• p-ranav/argparse

  Argument Parser for Modern C++

  Language:C++2.6k242

• Civitasv/cmake-tools.nvim

  CMake integration in Neovim

  Language:Lua35755

• rizsotto/Bear

  Bear is a tool that generates a compilation database for clang tooling.

  Language:C++4.8k313

• cmuratori/refterm

  Reference monospace terminal renderer

  Language:C1.6k64

• sharkdp/fd

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

  Language:Rust33.4k798

• cursorless-dev/cursorless

  Don't let the cursor slow you down

  Language:TypeScript1.1k78

• martinvonz/jj

  A Git-compatible VCS that is both simple and powerful

  Language:Rust8.2k277

• raysan5/raylib

  A simple and easy-to-use library to enjoy videogames programming

  Language:C21.6k2.2k

• nix-community/vscode-nix-ide

  Nix language support for VSCode editor [maintainer: @jnoortheen]

  Language:TypeScript27324

• dustinlyons/nixos-config

  General purpose Nix configuration for macOS / NixOS with starter templates + step-by-step guides ✨

  Language:Nix1.5k93

• userver-framework/userver

  Production-ready C++ Asynchronous Framework with rich functionality

  Language:C++2.4k275

• samwho/spacer

  CLI tool to insert spacers when command output stops

  Language:Rust8599

• facebook/folly

  An open-source C++ library developed and used at Facebook.

  Language:C++28.1k5.5k

• catchorg/Catch2

  A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

  Language:C++18.5k3k

• capnproto/capnproto

  Cap'n Proto serialization/RPC system - core tools and C++ library

  Language:C++11.5k920

• scylladb/scylladb

  NoSQL data store using the seastar framework, compatible with Apache Cassandra

  Language:C++13.2k1.3k

• scylladb/seastar

  High performance server-side application framework

  Language:C++8.3k1.5k