yuri@FreeBSD's repositories
tiny-network-utilities
Minimalistic network server implementations to support VM network connectivity
CTL
The Color Transformation Language (CTL)
dill
DILL provides instruction-level code generation, register allocation and simple optimizations for generating executable code directly into memory regions for immediate use.
epoll-rs
Rust epoll wrapper
f3d
Fast and minimalist 3D viewer.
faiss
A library for efficient similarity search and clustering of dense vectors.
freebsd-buildsdb
Tool to aggregate FreeBSD builds information in a SQLite DB and do data analysis on it
lean4
Lean 4 programming language and theorem prover
libremidi
A modern C++ MIDI real-time & file I/O library. Supports Windows, macOS, Linux and WebMIDI.
mathlib4
The math library of Lean 4
normcap
OCR powered screen-capture tool to capture information instead of images
nushell
A new type of shell
openfhe-development
This is the development repository for the OpenFHE library. The current (stable) version is v1.1.2 (released on December 16, 2023).
portscout
A tool which looks for new versions of software in the FreeBSD ports tree
poudriere
Port/Package build and test system
proxytunnel
Stealth tunneling through HTTP(S) proxies
pythonqt
Dynamic Python binding for Qt Applications
qBittorrent
qBittorrent BitTorrent client
rdev
Simple library to listen and send events to keyboard and mouse (MacOS, Windows, Linux)
SpFFT
Sparse 3D FFT library with MPI, OpenMP, CUDA and ROCm support
sqlitestudio
A free, open source, multi-platform SQLite database manager.
USD
Universal Scene Description
uspatent
Tools for drafting a U.S. Patent Application using LaTeX and/or LyX
verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
xournalpp
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.