Lean 4 programming language and theorem prover

A tool which looks for new versions of software in the FreeBSD ports tree

This is the development repository for the OpenFHE library. The current (stable) version is v1.1.2 (released on December 16, 2023).

A modern C++ MIDI real-time & file I/O library. Supports Windows, macOS, Linux and WebMIDI.

Tools for drafting a U.S. Patent Application using LaTeX and/or LyX

qBittorrent BitTorrent client

Rust epoll wrapper

Fast and minimalist 3D viewer.

Universal Scene Description

Stealth tunneling through HTTP(S) proxies

Collection of tools useful for audio production

Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

Dynamic Python binding for Qt Applications

FreeBSD quarterly reports

The website part of FreshPorts

Avogadro libraries provide 3D rendering, visualization, analysis and data processing useful in computational chemistry, molecular modeling, bioinformatics, materials science, and related areas.

A Header-Only cross-platform C++ TCP network library . We can use vcpkg(https://github.com/Microsoft/vcpkg/tree/master/ports/brynet) install brynet.

low-level window system interface for audio plugin UIs

JUCE is an open-source cross-platform C++ application framework for desktop and mobile applications, including VST, VST3, AU, AUv3, RTAS and AAX audio plug-ins.

Fast data visualization and GUI tools for scientific / engineering applications

Filament is a real-time physically based rendering engine for Android, iOS, Windows, Linux, macOS, and WebGL2

Lean Theorem Prover

Domain specific library for electronic structure calculations

Aer is a high performance simulator for quantum circuits that includes noise models

Modular computation tool chain library

The Common Foreign Function Interface

ISLisp interpreter/compiler