chabulhwi

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

manim

A community-maintained Python framework for creating mathematical animations.

ungoogled-chromium

Google Chromium, sans integration with Google

tantivy

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

websocketpp

C++ websocket client/server library

QR-Code-generator

High-quality QR Code generator library in Java, TypeScript/JavaScript, Python, Rust, C++, C.

libwebsockets

canonical libwebsockets.org networking library

kdenlive

Free and open source video editor, based on MLT Framework and KDE Frameworks

dafny

Dafny is a verification-aware programming language

engine

Go 3D Game Engine (http://g3n.rocks)

FStar

A Proof-oriented Programming Language

kani

Kani Rust Verifier

libdatachannel

C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets

pragmatapro

PragmataPro font is designed to help pros to work better

OpenLoco

An open source re-implementation of Chris Sawyer's Locomotion

creusot

Creusot helps you prove your code is correct in an automated fashion.

touche

The desktop application to configure Touchégg

godot-go

Go bindings for Godot 4.2 GDExtension API

pvslib

NASA PVS Library of Formal Developments

ladspa

The SWH Plugins package for the LADSPA plugin system

coppwr

Low level control GUI for the PipeWire multimedia server

aeneas

A verification toolchain for Rust programs

lv2

SWH Plugins in LV2 format

mathlib4-tactics

List of the all tactics of mathlib4. This is heavily inspired by haruhisa-enomoto/mathlib4-all-tactics

groupoid_model_in_lean4

qrcodegen-cmake

CMake build scripts for the QR-Code-generator library

cin-gg-packages

pulse

The Pulse separation logic DSL for F*

tag-tree

A Timewarrior extension to display total of tags in a tree (hierarchical) structure

polyscope.lean

A polyscope (https://polyscope.run/) like interface for Lean, built on Proofwidgets4