MyNixOS website logo
MyNixOS website logo
Flakes
Categories
Options
Packages
categories

by-name/tl

Showing entries 1-20 out of 20.
tl-expectedNix package
C++11/14/17 std::expected with functional-style extensions
tlaNix package
GNU Arch (aka
tla-toolboxNix package
IDE for the TLA+ tools
tlafmtNix package
Formatter for TLA+ specs
tlaplustlaplusNix package
Algorithm specification language with model checking tools
tlaplustlaplus18Nix package
Algorithm specification language with model checking tools
tlclientNix package
Linux remote desktop client built on open source technology
tldrNix package
Simplified and community-driven man pages
tldxNix package
Domain availability research tool
tlfNix package
Advanced ham radio logging and contest program
tllistNix package
C header file only implementation of a typed linked list
tlmi-authNix package
Utility for creating signature strings needed for thinklmi certificate based authentication
tlockNix package
Two-Factor Authentication Tokens Manager in Terminal
tlrcNix package
Official tldr client written in Rust
tlsclientNix package
Tlsclient command line utility
tlsinfoNix package
Tool to analyze and troubleshoot TLS connections
tlspoolNix package
TLS daemon with PKCS #11 backend
tlsrpt-reporterNix package
Application suite to receive TLSRPT datagrams and to generate and deliver TLSRPT reports
tlsxNix package
TLS grabber focused on TLS based data collection
tlwgNix package
Collection of Thai scalable fonts available under free licenses