Skip to content
View frederik-h's full-sized avatar

Block or report frederik-h

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

CSS 44,390 5,526 Updated Sep 29, 2025

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

Rust 40,437 950 Updated Nov 9, 2025

GoogleTest - Google Testing and Mocking Framework

C++ 37,440 10,575 Updated Nov 8, 2025

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 35,334 15,137 Updated Nov 10, 2025

A library that provides an embeddable, persistent key-value store for fast storage.

C++ 30,957 6,645 Updated Nov 8, 2025

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Emacs Lisp 24,643 4,873 Updated Nov 9, 2025

Open-source keyboard firmware for Atmel AVR and Arm USB families

C 19,810 42,946 Updated Nov 8, 2025

Run compilers interactively from your web browser and interact with the assembly

TypeScript 18,191 1,951 Updated Nov 10, 2025

This repo is used for servicing PR's for .NET Core 2.1 and 3.1. Please visit us at https://github.com/dotnet/runtime

17,562 4,871 Updated Jan 21, 2023

Text-mode interface for git

C 12,949 638 Updated Oct 21, 2025

CoreCLR is the runtime for .NET Core. It includes the garbage collector, JIT compiler, primitive data types and low-level classes.

12,787 2,626 Updated Jan 21, 2023

The Z3 Theorem Prover

C++ 11,520 1,576 Updated Nov 7, 2025

Extremely fast non-cryptographic hash algorithm

C 10,460 864 Updated Oct 27, 2025

xv6 OS

C 9,027 4,362 Updated Aug 13, 2024

Main gperftools repository

C++ 8,854 1,534 Updated Oct 10, 2025

A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…

TypeScript 7,268 179 Updated Jul 22, 2024

An informative and fancy bash prompt for Git users

Shell 6,870 988 Updated Apr 23, 2025

The fastest feature-rich C++11/14/17/20/23 single-header testing framework

C++ 6,470 675 Updated Oct 28, 2025

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

C++ 5,986 345 Updated Nov 9, 2025

A collection of ergonomic split keyboards ⌨

5,565 219 Updated Jul 6, 2024

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

OCaml 5,261 700 Updated Nov 10, 2025

🖥️📱🔔 A utility for sending notifications, on demand and when commands finish.

Python 4,923 215 Updated Oct 27, 2025

Protocol Buffers library for idiomatic .NET

C# 4,901 1,083 Updated Jul 31, 2025

Project moved to: https://github.com/llvm/llvm-project

LLVM 4,605 2,084 Updated Sep 2, 2020

A use-package declaration for simplifying your .emacs

Emacs Lisp 4,482 264 Updated Aug 23, 2025

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

F# 4,195 831 Updated Nov 10, 2025

The Haskell Tool Stack

Haskell 4,042 849 Updated Nov 8, 2025

Compute various size metrics for a Git repository, flagging those that might cause problems

Go 3,901 175 Updated Sep 3, 2025

A very extensive set of extension methods that allow you to more naturally specify the expected outcome of a TDD or BDD-style unit tests. Targets .NET Framework 4.7, as well as .NET Core 2.1, .NET …

C# 3,809 730 Updated Nov 10, 2025
Next