Skip to content
View danr's full-sized avatar

Organizations

@pharmbio

Block or report danr

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
8 results for source starred repositories written in C++
Clear filter

The Z3 Theorem Prover

C++ 12,104 1,630 Updated Mar 30, 2026

mawww's experiment for a better code editor

C++ 10,805 753 Updated Mar 25, 2026

inotify-tools is a library and a set of command-line programs providing a simple interface to inotify.

C++ 3,377 405 Updated Sep 24, 2025

KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)

C++ 3,311 941 Updated Jan 25, 2026

The Lobster Programming Language

C++ 2,708 142 Updated Mar 30, 2026

The Synthesis ToolKit in C++ (STK) is a set of open source audio signal processing and algorithmic synthesis classes written in the C++ programming language.

C++ 1,190 196 Updated Mar 29, 2025

A minimalistic and high-performance SAT solver

C++ 1,149 415 Updated Apr 28, 2024

UDPipe: Trainable pipeline for tokenizing, tagging, lemmatizing and parsing Universal Treebanks and other CoNLL-U files

C++ 405 86 Updated Jan 28, 2026